From 7fa78597bf58a7759303095121a432cb258f447c Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 10 Mar 2014 17:48:55 +0100 Subject: Fix problems related to t0039 This test case exercised several problems: 1.)2.) Two ways to run into a cyclic references. Fixed by - assuming an early info when completing a typedef, similarly to what is done for a classdef - doing wellformed bounds checking in a later phase. Failure to check whether arguments correspond to F-bounds. - a substitution was missing. --- src/dotty/tools/dotc/core/Flags.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/Flags.scala') diff --git a/src/dotty/tools/dotc/core/Flags.scala b/src/dotty/tools/dotc/core/Flags.scala index 0678b79be..620cd4fa5 100644 --- a/src/dotty/tools/dotc/core/Flags.scala +++ b/src/dotty/tools/dotc/core/Flags.scala @@ -467,7 +467,7 @@ object Flags { final val ExpandedTypeParam = allOf(ExpandedName, TypeParam) /** A parameter or parameter accessor */ - final val ParamOrAccessor = Param | Accessor + final val ParamOrAccessor = Param | ParamAccessor /** A covariant type parameter instance */ final val LocalCovariant = allOf(Local, Covariant) -- cgit v1.2.3