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

[CSSimplify] Detect and diagnose attempts to specialize non-generic types/aliases

Browse Source
This commit is contained in:
Pavel Yaskevich
2023-06-27 15:49:19 -07:00
parent 40169c74ee
commit 2bbda09043
2 changed files with 16 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
lib/Sema/CSSimplify.cpp
View File

@@ -13658,9 +13658,16 @@ ConstraintSystem::simplifyExplicitGenericArgumentsConstraint(
}
}
if (openedGenericParams.empty())
if (openedGenericParams.empty()) {
if (!shouldAttemptFixes())
return SolutionKind::Error;
return recordFix(AllowConcreteTypeSpecialization::create(
*this, type1, getConstraintLocator(locator)))
? SolutionKind::Error
: SolutionKind::Solved;
}
assert(openedGenericParams.size() == genericParams->size());
// Match the opened generic parameters to the specialized arguments.

7
test/Macros/macro_and_typealias.swift
View File

@@ -6,6 +6,7 @@
@freestanding(expression) public macro Print<each Value>(_ value: repeat each Value) = #externalMacro(module: "MacroDefinition", type: "PrintMacro")
@freestanding(expression) public macro OtherPrint<each Value>(_ value: repeat each Value) = #externalMacro(module: "MacroDefinition", type: "PrintMacro")
@freestanding(expression) public macro ConcretePrint(_ value: Any) = #externalMacro(module: "MacroDefinition", type: "PrintMacro")
public struct Printer<Value> {
init(_: (Value) -> Void) {}
@@ -13,6 +14,7 @@ public struct Printer<Value> {
typealias Print = Printer
typealias OtherPrint<T> = Printer<T>
typealias ConcretePrint = Printer<Any>
struct Test {
struct Object {
@@ -27,6 +29,11 @@ struct Test {
let _ = OtherPrint<Object> { // Ok
compute(root: $0, \.prop)
}
let _ = ConcretePrint<Object> { // expected-error {{cannot specialize non-generic type 'ConcretePrint' (aka 'Printer<Any>')}}
compute(root: $0, \.prop) // expected-error {{value of type 'Any' has no member 'prop'}}
// expected-note@-1 {{cast 'Any' to 'AnyObject' or use 'as!' to force downcast to a more specific type to access members}}
}
}
func compute<R, V>(root: R, _: KeyPath<R, V>) {}