Lazy type-alias-impl-trait - #92007

Merged

bors merged 53 commits into

rust-lang:masterfrom

oli-obk:lazy_tait2

Feb 8, 2022

Commits on Feb 2, 2022

Add roll back infrastructure for opaque type caches
oli-obk
committed
d49b074
Add some sanity assertions to make sure we use the opaque types correctly
oli-obk
committed
a4c1cec
Update some comments
oli-obk
committed
bbbdcb3
Found suspicious comparison of constants
oli-obk
committed
4e1a596
Add a convenient way to inject rustc flags somewhere late in the bootstrap pipeline without causing rebuilds
oli-obk
committed
47a6a24
Expose current span to type equality checking in nll
oli-obk
committed
f7abc1b
More sanity checks
oli-obk
committed
8d2b598
Lazily resolve type-alias-impl-trait defining uses
oli-obk
committed
0f6e06b
bless
oli-obk
committed
9110911
Register member constraints on the final merged hidden type
oli-obk
committed
7bce50c
Stop generating inference vars for nested impl trait and let type equality handle it.
oli-obk
committed
a745797
Eagerly merge hidden types.
oli-obk
committed
38f50d1
Clean up leftovers from eager hidden type merging
oli-obk
committed
edaf962
Add backcompat hack to support
oli-obk
committed
64c5b9a
Add explanation for early abort in TAIT hidden type computation
oli-obk
committed
7795f62
Test recursive TAIT declarations
oli-obk
committed
77aacc1
Update an outdated test explanation
oli-obk
committed
cbfd736
Add some tests to show what happens when you compare two opaque types that are both within the defining scope
oli-obk
committed
5a374dc
We're equating hidden types eagerly now
oli-obk
committed
3146c96
This can't happen anymore. An opaque type can't end up with itself as its hidden type
oli-obk
committed
94d6a9a
Fixup changes that aren't neccessary anymore
oli-obk
committed
2247778
Inline a function that is only ever used in one place
oli-obk
committed
e03edd2
Remove the `Instantiator` now that we don't recurse within it anymore
oli-obk
committed
fcba8d3
Remove unnecessary closure in favour of just passing the argument directly
oli-obk
committed
5b49b8e
Remove unnecessary field
oli-obk
committed
d35d1ef
Inline a function that is only used once
oli-obk
committed
b45fabd
Undo a diff
oli-obk
committed
dbda675
Simplify diff
oli-obk
committed
d8c29b3
manual formatting
oli-obk
committed
d3b534b
Make a comment more obvious
oli-obk
committed
dc36b38
Remove some unused arguments and update a comment
oli-obk
committed
3d4b9b8
Remove a now-useless field
oli-obk
committed
c564898
Undo a change that is now unnecessary
oli-obk
committed
e4794d9
Hide further opaque type errors if items that could constrain the opaque type have errors
oli-obk
committed
b6d57ec
undo a useless change
oli-obk
committed
7fd9c7e
Guess head span of async blocks
oli-obk
committed
5518d19
Make a span more useful
oli-obk
committed
4d2e965
Make the error for opaque types that have no hidden types a bit informative
oli-obk
committed
29c8732
Bail out early if there already were errors
oli-obk
committed
6560d77
Reduce follow-up errors that are not helpful
oli-obk
committed
59d0bff
run rustfmt
oli-obk
committed
ee2158f
Add regression test
oli-obk
committed
ebf2772
Avoid an ICE in the presence of HKL
oli-obk
committed
7a1ccf9
Ensure we error in case of non-higher-kinded lifetimes
oli-obk
committed
bae04fb
Prevent two opaque types in their defining scopes from being defined via the other
oli-obk
committed
7f608eb
Only prevent TAITs from defining each other, RPIT and async are fine, they only ever have one defining site, and it is ordered correctly around expected and actual type in type comparisons
oli-obk
committed
be153f0
Fix some doctests where the main function returns an opaque type
oli-obk
committed
d9bb93f

Commits on Feb 3, 2022

Commits on Feb 7, 2022