Several diagnostic improvements Reviewed-by: jjg
Type-inference should ignore erroneous bounds Reviewed-by: jjg