diff options
| author | bors <bors@rust-lang.org> | 2020-01-20 00:10:48 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-01-20 00:10:48 +0000 |
| commit | 29b854fb741809c29764e33fc17c32ba9c6523ba (patch) | |
| tree | dbb4a241356f69d26e238a65462724596b6cff8a /src/test/ui/const-generics/array-size-in-generic-struct-param.rs | |
| parent | 7da653f669dcb97d40ca29b2937518bb8a12b775 (diff) | |
| parent | 4840cd8117010e057109e0233f403e526d309d9f (diff) | |
| download | rust-29b854fb741809c29764e33fc17c32ba9c6523ba.tar.gz rust-29b854fb741809c29764e33fc17c32ba9c6523ba.zip | |
Auto merge of #68057 - Aaron1011:fix/marker-trait-selection, r=matthewjasper
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.
Diffstat (limited to 'src/test/ui/const-generics/array-size-in-generic-struct-param.rs')
0 files changed, 0 insertions, 0 deletions