Matthias Krüger 251584581f

Rollup merge of #120836 - lcnr:param-env-hide-impl, r=BoxyUwU ...

hide impls if trait bound is proven from env

AVERT YOUR EYES `@compiler-errors`

fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/76 and https://github.com/rust-lang/trait-system-refactor-initiative/issues/12#issuecomment-1865234925

this is kinda ugly and I hate it, but I wasn't able to think of a cleaner approach for now. I am also unsure whether we have to refine this filtering later on, so by making the change pretty minimal it should be easier to improve going forward.

r? `@BoxyUwU`

2024-02-09 19:21:19 +01:00

..

src

Rollup merge of #120836 - lcnr:param-env-hide-impl, r=BoxyUwU

2024-02-09 19:21:19 +01:00

Cargo.toml

avoid always rerunning in case of a cycle

2024-01-09 11:19:34 +01:00

messages.ftl

…