コード例 #1
0
 private static TypeSymbol SubstituteAllTypeParameters(AbstractTypeMap substitution, TypeSymbol type)
 {
     if (substitution != null)
     {
         TypeSymbol previous;
         do
         {
             previous = type;
             type     = substitution.SubstituteType(type);
         } while (type != previous);
     }
     return(type);
 }
コード例 #2
0
ファイル: TypeUnification.cs プロジェクト: stark-lang/stark
        private static TypeSymbolWithAnnotations SubstituteAllTypeParameters(AbstractTypeMap substitution, TypeSymbolWithAnnotations type)
        {
            if (substitution != null)
            {
                TypeSymbolWithAnnotations previous;
                do
                {
                    previous = type;
                    type     = type.SubstituteType(substitution);
                } while (!type.IsSameAs(previous));
            }

            return(type);
        }
コード例 #3
0
ファイル: TypeUnification.cs プロジェクト: gtkatakura/roslyn
        private static TypeWithModifiers SubstituteAllTypeParameters(AbstractTypeMap substitution, TypeWithModifiers type)
        {
            if (substitution != null)
            {
                TypeWithModifiers previous;
                do
                {
                    previous = type;
                    type     = type.SubstituteType(substitution);
                } while (type != previous);
            }

            return(type);
        }