Auto merge of #116273 - compiler-errors:refine2, r=tmandry · rust-lang/miri@5260c93 · GitHub

Commit

Auto merge of #116273 - compiler-errors:refine2, r=tmandry

Browse files

Only trigger `refining_impl_trait` lint on reachable traits

Public but unreachable traits don't matter 😸

r? `@tmandry`

Loading branch information

bors committed Oct 5, 2023

2 parents c89e40b + 9a0aafa commit 5260c93