Skip to content

Normalize in infcx instead of globally for Option::as_deref suggestion#112303

Merged
bors merged 2 commits intorust-lang:masterfrom
Noratrieb:as-deref
Jun 6, 2023
Merged

Normalize in infcx instead of globally for `Option::as_deref` suggestion#112303
bors merged 2 commits intorust-lang:masterfrom
Noratrieb:as-deref

Commits

Commits on Jun 5, 2023