/compiler/rustc_next_trait_solver/src/solve/assembly/
../
mod.rs
structural_traits.rs