Add use annotations in parameter info type for use parameters

Author: Linyxus

compiler/src/dotty/tools/dotc/cc/CaptureOps.scala

@@ -495,6 +495,7 @@ extension (sym: Symbol)
    */
   def isUseParam(using Context): Boolean =
     sym.hasAnnotation(defn.UseAnnot)
+    || sym.info.hasAnnotation(defn.UseAnnot)
     || sym.is(TypeParam)
         && sym.owner.rawParamss.nestedExists: param =>
             param.is(TermParam) && param.hasAnnotation(defn.UseAnnot)

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -4234,6 +4234,8 @@ object Types extends TypeUtils {
         paramType = addAnnotation(paramType, defn.InlineParamAnnot, param)
       if param.is(Erased) then
         paramType = addAnnotation(paramType, defn.ErasedParamAnnot, param)
+      if param.isUseParam then
+        paramType = addAnnotation(paramType, defn.UseAnnot, param)
       paramType
 
     def adaptParamInfo(param: Symbol)(using Context): Type =