@@ -1420,11 +1420,8 @@ object Parsers {
14201420 }
14211421 }
14221422
1423- private def makeKindProjectorTypeDef (name : TypeName , span : Option [Span ]): TypeDef = {
1424- val typeDef = TypeDef (name, TypeBoundsTree (EmptyTree , EmptyTree )).withFlags(Param )
1425-
1426- span.fold(typeDef)(typeDef.withSpan)
1427- }
1423+ private def makeKindProjectorTypeDef (name : TypeName ): TypeDef =
1424+ TypeDef (name, TypeBoundsTree (EmptyTree , EmptyTree )).withFlags(Param )
14281425
14291426 /** Replaces kind-projector's `*` in a list of types arguments with synthetic names,
14301427 * returning the new argument list and the synthetic type definitions.
@@ -1435,7 +1432,7 @@ object Parsers {
14351432 val newParams = params.mapConserve {
14361433 case param @ Ident (tpnme.raw.STAR ) =>
14371434 val name = WildcardParamName .fresh().toTypeName
1438- tparams += makeKindProjectorTypeDef(name, None )
1435+ tparams += makeKindProjectorTypeDef(name)
14391436 Ident (name)
14401437 case other => other
14411438 }
@@ -1596,7 +1593,7 @@ object Parsers {
15961593 args match {
15971594 case List (Function (params, body)) =>
15981595 val typeDefs = params.collect {
1599- case param @ Ident (name) => makeKindProjectorTypeDef(name.toTypeName, Some (param.span) )
1596+ case param @ Ident (name) => makeKindProjectorTypeDef(name.toTypeName).withSpan (param.span)
16001597 }
16011598 if (typeDefs.length != params.length) fail()
16021599 else LambdaTypeTree (typeDefs, body)
0 commit comments