Propagate inference constraints from 15.12.2.7 to 15.12.2.8 Reviewed-by: jjg
Added global sanity check in order to make sure that return type inference does not violate bounds constraints Reviewed-by: jjg