Doug Gregor a6516a90c6 [Type checker] Bump warning about unavailable witnesses to an error in Swift 4 ...

Swift 3 allowed a requirement to be satisfied by an unavailable
witness, which doesn't make sense. We've been warning about it in
Swift 3 for a while; make it an error in Swift 4.

2017-07-10 11:40:35 -07:00

..

MixAndMatch

Turn on deserialization recovery by default. (#9486)

2017-05-11 08:47:59 -07:00

accessibility_compound.swift

Tweak DiagnosticEngine's 'aka' logic to only kick in for typealiases. (#9010)

2017-04-25 19:37:22 -07:00

accessibility_private.swift

Add support for sharing the private scope between type declaration and extensions in Swift 4

2017-04-28 10:02:49 -04:00

accessibility_typealias.swift

Use Swift-3-style access checking to downgrade errors to warnings.

2017-01-13 14:34:50 -08:00

anyobject.swift

[Type checker] Warn about classes conforming to AnyObject in Swift 3 mode.

2017-05-04 10:28:27 -07:00

attr_escaping.swift

Rename -parse flag to -typecheck

2016-11-28 10:50:55 -08:00

attr_final_protocol_extension.swift

Verify behavior of Swift 3 and Swift 4 final protocol extension behavior

2017-04-20 16:06:02 -04:00

attr_objc.swift

Sema: Warn when Swift classes attempt to implement ObjC +initialize.

2017-01-17 15:06:44 -08:00

availability_compound.swift

Don't check availability for compound TypeReprs in Swift 3 mode.

2017-01-03 13:14:23 -08:00

bridging-nsnumber-and-nsvalue.swift.gyb

[Foundation] add additional conformances and functionality to NSRange

2017-05-02 10:37:04 -07:00

conditional_compiliation_expr.swift

[Parse] Add warning for compound name in compilation condition in swift3

2017-03-29 00:43:28 +09:00

default_literal_generic_args.swift

Rename -parse flag to -typecheck

2016-11-28 10:50:55 -08:00

deprecated_where_swift.swift

Adding compatiblity test, updating warning.

2017-05-15 16:26:32 -07:00

dollar_identifier.swift

Rename -parse flag to -typecheck

2016-11-28 10:50:55 -08:00

enum_cases.swift

[QoI] Improve diagnostics related to member calls

2017-06-27 15:49:11 -07:00

enum_element_pattern.swift

[gardening] Fix recently introduced typos

2017-01-06 21:16:02 +01:00

lazy_properties.swift

AST: Restore old behavior for name lookup inside 'lazy' in Swift 3 mode

2017-06-05 23:14:33 -07:00

lvalue_typeof.swift

Add missing r-value coercion in type(of:)

2017-02-22 23:49:21 -05:00

members.swift

AST: Restore unqualified lookup quirk for Swift 3 mode

2017-01-12 22:43:23 -08:00

override.swift

Add a compatibily test for swift 3

2017-01-15 17:05:01 -05:00

protocol_composition.swift

Migrate the rest of the tests to %empty-directory

2017-06-04 11:08:39 -07:00

range_hashable.swift

[Type checker] Extend redundant-conformance warning to imported types.

2017-05-11 10:53:51 -07:00

self_same_type.swift

Escalate the warning about the "== Self" type soundness hole to an error.

2017-06-16 13:23:25 -07:00

sr3842_map_string_init.swift

[SR-3842] Add test from the bug report. We want to keep this working in Swift 3

2017-02-08 14:12:35 -08:00

string_collection.swift

[Type checker] Downgrade some "redundant conformance" errors to warnings.

2017-05-01 13:22:15 -07:00

throws_identifier.swift

Migrate the rest of the tests to %empty-directory

2017-06-04 11:08:39 -07:00

trailing-closure.swift

When ranking overloads, always match up final closure parameters.

2017-04-26 19:33:07 -07:00

tuple_arguments.swift

[QoI] Improve diagnostics related to member calls

2017-06-27 15:49:11 -07:00

type_expr.swift

Sema: More consistent enforcement of '.self' on metatype values in Swift 4 mode

2017-05-21 18:14:55 -07:00

unavailable_witness.swift

[Type checker] Bump warning about unavailable witnesses to an error in Swift 4

2017-07-10 11:40:35 -07:00

unqualified_lookup.swift

AST: Restore unqualified lookup quirk for Swift 3 mode

2017-01-12 22:43:23 -08:00

unsatisfiable_req.swift

[Archetype builder] Canonicalize and minimize same-type constraints.

2017-02-01 10:51:02 -08:00