Aaron Hill 4840cd8117 Don't discard marker trait impls when inference variables are present ... Fixes #61651 Previously, we would unconditionally discard impl candidates for marker traits during trait selection. However, if the predicate had inference variables, this could have the effect of constrainting inference variables (due to a successful trait selection) when we would have otherwise failed due to mutliple applicable impls, This commit prevents marker trait impls from being discarded while the obligation predicate has any inference variables, ensuring that discarding impls will never cause us to incorrectly constraint inference variables.		2020-01-09 10:01:20 -05:00
..
issue-61651-type-mismatch.rs	Don't discard marker trait impls when inference variables are present	2020-01-09 10:01:20 -05:00
marker-attribute-on-non-trait.rs	Remove licenses	2018-12-25 21:08:33 -07:00
marker-attribute-on-non-trait.stderr	Update tests	2019-03-11 23:10:26 +03:00
marker-attribute-with-values.rs	Reword malformed attribute input diagnostics	2019-05-25 11:55:50 -07:00
marker-attribute-with-values.stderr	Reword malformed attribute input diagnostics	2019-05-25 11:55:50 -07:00
marker-trait-with-associated-items.rs	Remove licenses	2018-12-25 21:08:33 -07:00
marker-trait-with-associated-items.stderr	Remove licenses	2018-12-25 21:08:33 -07:00
overlap-marker-trait.rs	Remove licenses	2018-12-25 21:08:33 -07:00
overlap-marker-trait.stderr	Point at type param when it's cause of unfulfilled obligation	2019-09-22 11:33:13 -07:00
override-item-on-marker-trait.rs	Remove licenses	2018-12-25 21:08:33 -07:00
override-item-on-marker-trait.stderr	Remove licenses	2018-12-25 21:08:33 -07:00