mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-27 12:37:09 +00:00
Deduce closure signature from a type alias `impl Trait`'s supertraits r? `@oli-obk` Basically pass the TAIT's bounds through the same method that we're using to deduce a signature from infer var closure bounds. Does this need a new FCP? I see it as a logical extension of #101834, but happy to rfcbot a new one if it does.
For more information about how rustc works, see the rustc dev guide.