Lazy type-alias-impl-trait take two - #94081

Merged

bors merged 26 commits into

rust-lang:masterfrom

oli-obk:lazy_tait_take_two

Mar 30, 2022

Commits on Mar 28, 2022

Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"
oli-obk
committed
264cd05
Fail more aggressively
oli-obk
committed
f42a679
Don't bind hidden types when searching for matching impls
oli-obk
committed
1c5bfb1
Normalize all projections in mir validation again
oli-obk
committed
4cfaf9a
Remove some dead code
oli-obk
committed
4b249b0
Have the spans of TAIT type conflict errors point to the actual site instead of the owning function
oli-obk
committed
d5b6510
Special case the situation where the previous span is the same as the new one
oli-obk
committed
3136bfe
Revert to inference variable based hidden type computation for RPIT
oli-obk
committed
86e1860
Remove opaque type obligation and just register opaque types as they are encountered.
oli-obk
committed
1163aa7
Add regression tests
oli-obk
committed
2bf63a5
Merge two duplicates of the same logic into a common function
oli-obk
committed
7f933de
The hack isn't necessary for back compat anymore
oli-obk
committed
02536fe
Remove some special code handling TAIT being passed through if and match
oli-obk
committed
1f46f77
Add some tests around recursion and "revealing"
oli-obk
committed
53c96ed
Test that TAIT and RPIT are in sync
oli-obk
committed
6596e9d
Add another regression test
oli-obk
committed
3cce66c
Add regression test
oli-obk
committed
4f6e27d
Fix mixing lazy TAIT and RPIT in their defining scopes
oli-obk
committed
2aa49d4
Added another folder to the `ui` dir
oli-obk
committed
7b4f715
Add a test showing that a similar example compiles
oli-obk
committed
e82b0cd
Show that the behaviour is the same for RPIT and TAIT
oli-obk
committed
dc35d58
Also use the RPIT back compat hack in trait projection
oli-obk
committed
360edd6
Bless ui tests
oli-obk
committed
8829643
Add some tests showcasing further differences between TAIT and RPIT
oli-obk
committed
5d39418
Add test for revealing auto traits in the defining scope
oli-obk
committed
b262c7c
rebase fallout
oli-obk
committed
638f84d

Navigation Menu

Uh oh!

Uh oh!

Lazy type-alias-impl-trait take two - #94081

Lazy type-alias-impl-trait take two#94081
bors merged 26 commits into
rust-lang:masterfrom
oli-obk:lazy_tait_take_two

Commits on Mar 28, 2022

Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"

Fail more aggressively

Don't bind hidden types when searching for matching impls

Normalize all projections in mir validation again

Remove some dead code

Have the spans of TAIT type conflict errors point to the actual site instead of the owning function

Special case the situation where the previous span is the same as the new one

Revert to inference variable based hidden type computation for RPIT

Remove opaque type obligation and just register opaque types as they are encountered.

Add regression tests

Merge two duplicates of the same logic into a common function

The hack isn't necessary for back compat anymore

Remove some special code handling TAIT being passed through if and match

Add some tests around recursion and "revealing"

Test that TAIT and RPIT are in sync

Add another regression test

Add regression test

Fix mixing lazy TAIT and RPIT in their defining scopes

Added another folder to the `ui` dir

Add a test showing that a similar example compiles

Show that the behaviour is the same for RPIT and TAIT

Also use the RPIT back compat hack in trait projection

Bless ui tests

Add some tests showcasing further differences between TAIT and RPIT

Add test for revealing auto traits in the defining scope

rebase fallout