Lines Matching refs:RemoveAnnotations
282 struct RemoveAnnotations {
306 …using type = ConsSignature(RemoveAnnotations(Type<AnnotatedT>), Id<RemoveAnnotations(Type<Annotate…
314 using type = TransformVector(V, RemoveAnnotations);
409 using type = ConsSignatureWithVector(RemoveAnnotations(SignatureType(AnnotatedSignature)),
424 using type = ConsSignatureWithVector(RemoveAnnotations(SignatureType(AnnotatedSignature)),
498 using C = RemoveAnnotations(AnnotatedC);
508 If(Not(IsSame(SResult, RemoveAnnotations(SResult))),
669 using type = PropagateError(CheckInjectableType(RemoveAnnotations(NormalizeUntilStable(T))),
671 ConstructError(NonClassTypeErrorTag, RemoveAnnotations(T),
672 RemoveAnnotations(NormalizeUntilStable(T))),
692 using TypeWithoutAnnotations = RemoveAnnotations(T);
1002 using type = If(IsAbstract(RemoveAnnotations(AnnotatedC)),
1003 … ConstructError(NoBindingFoundForAbstractClassErrorTag, AnnotatedC, RemoveAnnotations(AnnotatedC)),