summaryrefslogtreecommitdiff
path: root/test/files/pos/infersingle.flags
Commit message (Collapse)AuthorAgeFilesLines
* infer singleton when asking for itAdriaan Moors2011-10-201-0/+1
a type var's constraint now also tracks whether the type var was compared to a stable type if it was, we probably shouldn't widen the type argument that's inferred for this var, as the result will surely fail to type check NOTE: must be enabled using -Xexperimental review by extempore