Neither require nor imply lifetime bounds on opaque type for well formedness - #95474

Merged

bors merged 18 commits into

rust-lang:masterfrom

oli-obk:tait_ub

Sep 25, 2022

Commits on Sep 21, 2022

Split match out into a helper function
oli-obk
committed
3d69d23
Some tracing instrumentation cleanups
oli-obk
committed
759c04a
Inline a trivial function
oli-obk
committed
96b819a
Generalize a helper to be useful for types other than projections
oli-obk
committed
4d4cc4f
Generalize projection_must_outlive
oli-obk
committed
c8ecf09
Neither require nor imply lifetime bounds on opaque type for well formedness
oli-obk
committed
37928f5
Also collect bounds from the ParamEnv for opaque types
oli-obk
committed
90b6744
Add regression test
oli-obk
committed
a8c9784
Inline substitution logic into `declared_region_bounds`
oli-obk
committed
615c9e8
Simplify insert_outlives_predicate opaque type logic
oli-obk
committed
20d962c
Try out a perf optimization
oli-obk
committed
36cb01d
Reproduce sad diagnostic
oli-obk
committed
4b323e6
Improve diagnostic for adding more bounds to opaque types
oli-obk
committed
86f1ca8

Commits on Sep 23, 2022