Commit Graph

561 Commits

Author SHA1 Message Date
Mark Lacey
126b9fcb2a Do not recurse infinitely when type checking constructor parameters.
Fully-qualified references to associated types in parameter lists of
constructors could result in infinite recursion and crash the compiler
when the typealias for the associated type is not defined.

Use the same approach used in normal function parameter lists of setting
IsBeingTypeChecked on the enclosing type to avoid going into an infinite
recursion here.

Resolves rdar://problem/27680407.
2016-09-19 14:55:25 -07:00
Mark Lacey
e2f7c6e23d Add known type checker crasher.
Add minimized test for rdar://problem/27830834.

In a build with asserts enabled assert with:
  (TypeVariables[impl.getGraphIndex()] == typeVar && "Type variable mismatch")
2016-08-25 11:19:49 -07:00
Mark Lacey
5d89924307 Add known type checker crashers.
Add minimized tests for:
    rdar://problem/27879334
2016-08-23 20:34:56 -07:00
Doug Gregor
65d8f03448 Merge pull request #4329 from rjmccall/collection-upcast-oves
Fix this to not die on the OVEs from collection upcasts.
2016-08-17 10:40:56 -07:00
John McCall
e360d7f2b0 Fix the open-existential remover to not die on the OVEs in collection upcasts. 2016-08-16 22:17:02 -07:00
Mark Lacey
5307a79b82 Add known type checker crashers.
Add minimized tests for:
    rdar://problem/27261929
    rdar://problem/27329076
2016-08-16 16:35:58 -07:00
Mark Lacey
2ea5486c29 Add known type checker crashers.
Add minimized tests for:
  rdar://problem/27464577
  rdar://problem/27575060
  rdar://problem/27680407
  rdar://problem/27787341
  rdar://problem/27815848

As these (and other tests added here) are fixed, we can move them into a
new type_checker_crashers_fixed directory.
2016-08-13 12:57:20 -07:00
Dmitri Gribenko
05397e3fb5 Fix validation-test/Sema/OverridesAndOverloads.swift after compiler started produced more warnings 2016-05-17 01:26:45 -07:00
Slava Pestov
49c54870c1 Serialization: Auto-linking recursively walks modules imported from -sil-serialize-all modules 2016-04-01 12:21:36 -07:00
Dmitri Gribenko
63c11c2e79 Fix the test for the case when StdlibUnittest is built with -sil-serialize-all 2016-02-15 11:02:24 -08:00
Dmitri Gribenko
f93ca42345 Add a basic execution tests for method overrides and overloads 2016-02-14 23:36:16 -08:00