Exemplo n.º 1
0
        public bool IsAssignableTo(RootEnvironment rootEnv, TypeRef other)
        {
            var thisTypeEnv  = Enter(rootEnv);
            var otherTypeEnv = other.Enter(rootEnv);

            return(thisTypeEnv.Type.PrimInstanceIsAssignableTo
                       (rootEnv.ToGround(),
                       thisTypeEnv.Assembly,
                       thisTypeEnv.TypeBoundArguments,
                       otherTypeEnv.Assembly,
                       otherTypeEnv.Type,
                       otherTypeEnv.TypeBoundArguments));
        }