Require impl Trait in associated types to appear in method signatures - #110454

Merged

bors merged 6 commits into

rust-lang:masterfrom

oli-obk:limited_impl_trait_in_assoc_type

May 13, 2023

Commits on May 12, 2023

Require `impl Trait` in associated types to appear in method signatures
oli-obk
committed
f08b517
Invert `IgnoreRegions` to `CheckRegions`
oli-obk
committed
31ae7c4
Rewrite nested `if` conditions into a single match
oli-obk
committed
84a43f0
Add a convenience function
oli-obk
committed
e2daccc
add `query opaque_types_defined_by`

lcnr
authored and
oli-obk
committed
6ae803e
Use the opaque_types_defined_by query to cheaply check for whether a hidden type may be registered for an opaque type
oli-obk
committed
4e92f76