Skip to content

Add an early-exit to QueryNormalizer::fold_ty#68606

Merged
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:normalize-fastpath
Jan 28, 2020

Commits

Commits on Jan 28, 2020