Use LowerAvailableDepth::No for normalizes-to goal itself instead of its nested goals#158705

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

ShoyuVanilla:search-graph-depth-fixupShoyuVanilla/rust:search-graph-depth-fixupCopy head branch name to clipboard