3 Commits

Author	SHA1	Message	Date
Ariel Ben-Yehuda	8a461d940c	suggest adding a where-clause when that can help ... suggest adding a where-clause when there is an unmet trait-bound that can be satisfied if some type can implement it.	2016-04-05 20:58:58 +03:00
Ariel Ben-Yehuda	fe6ad097c6	deduplicate trait errors before they are displayed ... Because of type inference, duplicate obligations exist and cause duplicate errors. To avoid this, only display the first error for each (predicate,span). The inclusion of the span is somewhat bikesheddy, but *is* the more conservative option (it does not remove some instability, as duplicate obligations are ignored by `duplicate_set` under some inference conditions). Fixes #28098 cc #21528 (is it a dupe?)	2015-09-26 21:13:31 +03:00
Ariel Ben-Yehuda	36eb09f356	Create a FreshFloatTy separate from FreshIntTy ... There is no subtyping relationship between the types (or their non-freshened variants), so they can not be merged. Fixes #22645 Fixes #24352 Fixes #23825 Should fix #25235 (no test in issue). Should fix #19976 (test is outdated).	2015-05-12 21:45:56 +03:00