Commit Graph

7 Commits

Author SHA1 Message Date
Slava Pestov
f0e3459068 AST: Fix compiler_crasher regression from associated type where clause work
New GenericTypeParamDecls should always be created with an
InvalidDepth, to prevent canonicalization before the generic
parameter list has been type checked.
2017-03-14 00:10:43 -07:00
practicalswift
811d990e5d [gardening] Mark as regressions 2017-03-13 11:39:59 +01:00
Ben Langmuir
548e956261 Attempt to fix bots that are seeing XPASS on two tests
These passed on a no-asserts bot, so add a requirement so they don't
XPASS.
2017-03-01 09:54:03 -08:00
Huon Wilson
2716c760f9 [Test] XFAIL two compiler crashers.
These are badly broken and aren't worth my timing to fix now. :(
2017-02-24 19:40:45 -08:00
practicalswift
6d1ae2a39c [gardening] 2016 → 2017 2017-01-06 16:41:22 +01:00
Jordan Rose
49e6c06eef [validation-test] Remove "REQUIRES: asserts" from /fixed/ crash cases. (#6156) 2016-12-08 19:06:32 -08:00
Slava Pestov
63178e84d2 AST: Improve robustness with invalid nesting of extensions in generic context
Extensions cannot capture generic parameters from outer contexts.
Their generic parameter list does not point to the outer
parameter list, the signature does not contain outer parameters
and they do not appear in the extension's generic environment.

Furthermore, the depth/index of the extension's parameters may
clash with outer parameters, which would break all kinds of
invariants.

This patch changes these DeclContext methods to return false or
nullptr even if an extension is contained in a generic context:

- isGenericContext()
- getGenericParamsOfContext()
- getGenericSignatureOfContext()
- getGenericEnvironmentOfContext()
2016-12-06 09:41:30 -08:00