public override MemberRef WithAnnotations(IImSeq <Annotation> annotations) { return(new EventRef(Annotations.Concat(annotations).ToSeq(), DefiningType, signature)); }
public override MemberRef WithAnnotations(IImSeq <Annotation> annotations) { return(new MethodRef(Annotations.Concat(annotations).ToSeq(), DefiningType, signature, MethodTypeArguments)); }
public override TypeRef WithAnnotations(IImSeq <Annotation> annotations) { return(new SkolemTypeRef(Annotations.Concat(annotations).ToSeq(), Index)); }
public override TypeRef WithAnnotations(IImSeq <Annotation> annotations) { return(new NamedTypeRef(Annotations.Concat(annotations).ToSeq(), name, arguments)); }
public override TypeRef WithAnnotations(IImSeq <Annotation> annotations) { return(new ParameterTypeRef(Annotations.Concat(annotations).ToSeq(), ParameterFlavor, Index)); }