Skip to content

refactor(rustc_middle): Substs -> GenericArg#113591

Merged
bors merged 1 commit intorust-lang:masterfrom mdibaiee:genericargs-cleanupJul 14, 2023

Commits

Commits on Jul 14, 2023