-Zassumptions-on-binders: insert empty assumptions when entering binders in the solver#157684

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

BoxyUwU:empty_assumptions_in_solver_relatingBoxyUwU/rust:empty_assumptions_in_solver_relatingCopy head branch name to clipboard