traits::fully_solve_obligation
traits::fully_normalize
It spawns up a trait engine, registers the single obligation, then fully solves it
MirPass
debugging_opts
unstable_opts