Skip to content

Ignore synthetic type parameters for extra_unused_type_parameters#10338

Merged
bors merged 1 commit intorust-lang:masterfrom
mkrasnitski:synthetic-params
Feb 15, 2023
Merged

Ignore synthetic type parameters for `extra_unused_type_parameters`#10338
bors merged 1 commit intorust-lang:masterfrom
mkrasnitski:synthetic-params

Commits

Commits on Feb 15, 2023