averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[Type checker] Check generic parameter inheritance clauses later.

Browse Source 
Move the checking of generic parameter inheritance clauses into the
DeclChecker, getting it out of signature computation and out of the
TypeChecker instance.
This commit is contained in:
Doug Gregor
2018-08-22 16:17:52 -07:00
parent 4b80872d48
commit 303805d551
4 changed files with 108 additions and 112 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/swift/AST/DiagnosticsSema.def
View File

@@ -1486,7 +1486,7 @@ ERROR(extension_nongeneric_trailing_where,none,
"trailing 'where' clause for extension of non-generic type %0",
(DeclName))
ERROR(extension_protocol_inheritance,none,
"extension of protocol %0 cannot have an inheritance clause", (Type))
"extension of protocol %0 cannot have an inheritance clause", (DeclName))
ERROR(objc_generic_extension_using_type_parameter,none,
"extension of a generic Objective-C class cannot access the class's "
"generic parameters at runtime", ())