Commit 4b0f18c

committed

Add use annotations in parameter info type for use parameters

1 parent 0be2091 commit 4b0f18cCopy full SHA for 4b0f18c

File tree

-0

lines changed

-0

lines changed

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -495,6 +495,7 @@ extension (sym: Symbol)`
`495`	`495`	`*/`
`496`	`496`	`def isUseParam(using Context): Boolean =`
`497`	`497`	`sym.hasAnnotation(defn.UseAnnot)`
	`498`	`+ \|\| sym.info.hasAnnotation(defn.UseAnnot)`
`498`	`499`	`\|\| sym.is(TypeParam)`
`499`	`500`	`&& sym.owner.rawParamss.nestedExists: param =>`
`500`	`501`	`param.is(TermParam) && param.hasAnnotation(defn.UseAnnot)`

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -4234,6 +4234,8 @@ object Types extends TypeUtils {`
`4234`	`4234`	`paramType = addAnnotation(paramType, defn.InlineParamAnnot, param)`
`4235`	`4235`	`if param.is(Erased) then`
`4236`	`4236`	`paramType = addAnnotation(paramType, defn.ErasedParamAnnot, param)`
	`4237`	`+ if param.isUseParam then`
	`4238`	`+ paramType = addAnnotation(paramType, defn.UseAnnot, param)`
`4237`	`4239`	`paramType`
`4238`	`4240`
`4239`	`4241`	`def adaptParamInfo(param: Symbol)(using Context): Type =`

Comments

(0)