invalid-name:13:0:13:9::"Type variable name ""GoodNameT"" doesn't conform to 'TypeVarsShouldBeLikeThis(_co(ntra)?)?$' pattern":HIGH
invalid-name:14:0:14:12::"Type variable name ""GoodNameT_co"" doesn't conform to 'TypeVarsShouldBeLikeThis(_co(ntra)?)?$' pattern":HIGH
invalid-name:15:0:15:16::"Type variable name ""GoodNameT_contra"" doesn't conform to 'TypeVarsShouldBeLikeThis(_co(ntra)?)?$' pattern":HIGH
invalid-name:20:0:20:9::"Type variable name ""GoodNameT"" doesn't conform to 'TypeVarsShouldBeLikeThis(_co(ntra)?)?$' pattern":HIGH
invalid-name:21:0:21:12::"Type variable name ""GoodNameT_co"" doesn't conform to 'TypeVarsShouldBeLikeThis(_co(ntra)?)?$' pattern":HIGH
invalid-name:26:0:26:9::"Parameter specification variable name ""GoodNameP"" doesn't conform to 'ParamSpecShouldBeLikeThis$' pattern":HIGH
invalid-name:30:0:30:9::"Parameter specification variable name ""GoodNameP"" doesn't conform to 'ParamSpecShouldBeLikeThis$' pattern":HIGH
invalid-name:40:0:40:10::"Type variable tuple name ""GoodNameTs"" doesn't conform to 'TypeVarTupleShouldBeLikeThis$' pattern":HIGH
