Skip to content

Commit ab3b87a

Browse files
committed
Swift: add nested generic function to test
1 parent 2183d38 commit ab3b87a

File tree

4 files changed

+90
-76
lines changed

4 files changed

+90
-76
lines changed
Lines changed: 84 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -1,84 +1,93 @@
11
| Sources/deduplication/def.swift:1:1:1:15 | var ... = ... | PatternBindingDecl | - |
22
| Sources/deduplication/def.swift:1:5:1:5 | def_int | ConcreteVarDecl | Int [StructType] |
3-
| Sources/deduplication/def.swift:3:1:3:20 | Generic | StructDecl | Generic<T>.Type [MetatypeType] |
3+
| Sources/deduplication/def.swift:3:1:5:1 | Generic | StructDecl | Generic<T>.Type [MetatypeType] |
44
| Sources/deduplication/def.swift:3:8:3:8 | Generic<T>.init() | Initializer | <T> (Generic<T>.Type) -> () -> Generic<T> [GenericFunctionType] |
55
| Sources/deduplication/def.swift:3:8:3:8 | self | ParamDecl | Generic<T> [BoundGenericStructType] |
66
| Sources/deduplication/def.swift:3:16:3:16 | T | GenericTypeParamDecl | T.Type [MetatypeType] |
7-
| Sources/deduplication/def.swift:5:1:5:45 | var ... = ... | PatternBindingDecl | - |
8-
| Sources/deduplication/def.swift:5:5:5:5 | def_instantiated_generic | ConcreteVarDecl | Generic<Int> [BoundGenericStructType] |
9-
| Sources/deduplication/def.swift:7:1:7:46 | def_function(_:) | NamedFunction | (Int) -> Int [FunctionType] |
10-
| Sources/deduplication/def.swift:7:19:7:22 | _ | ParamDecl | Int [StructType] |
11-
| Sources/deduplication/def.swift:9:1:9:77 | def_function_overloaded_on_return(_:_:) | NamedFunction | (Int, Double) -> Int [FunctionType] |
12-
| Sources/deduplication/def.swift:9:40:9:43 | _ | ParamDecl | Int [StructType] |
13-
| Sources/deduplication/def.swift:9:48:9:51 | _ | ParamDecl | Double [StructType] |
14-
| Sources/deduplication/def.swift:10:1:10:82 | def_function_overloaded_on_return(_:_:) | NamedFunction | (Int, Double) -> Double [FunctionType] |
15-
| Sources/deduplication/def.swift:10:40:10:43 | _ | ParamDecl | Int [StructType] |
16-
| Sources/deduplication/def.swift:10:48:10:51 | _ | ParamDecl | Double [StructType] |
17-
| Sources/deduplication/def.swift:12:1:12:57 | def_function_overloaded_on_parameter_type(_:) | NamedFunction | (Int) -> () [FunctionType] |
18-
| Sources/deduplication/def.swift:12:48:12:51 | _ | ParamDecl | Int [StructType] |
19-
| Sources/deduplication/def.swift:13:1:13:60 | def_function_overloaded_on_parameter_type(_:) | NamedFunction | (Double) -> () [FunctionType] |
20-
| Sources/deduplication/def.swift:13:48:13:51 | _ | ParamDecl | Double [StructType] |
21-
| Sources/deduplication/def.swift:15:1:15:62 | def_function_overloaded_on_parameter_label(one:) | NamedFunction | (Int) -> () [FunctionType] |
22-
| Sources/deduplication/def.swift:15:49:15:56 | x | ParamDecl | Int [StructType] |
23-
| Sources/deduplication/def.swift:16:1:16:62 | def_function_overloaded_on_parameter_label(two:) | NamedFunction | (Int) -> () [FunctionType] |
24-
| Sources/deduplication/def.swift:16:49:16:56 | x | ParamDecl | Int [StructType] |
25-
| Sources/deduplication/def.swift:18:1:18:44 | def_throwing_function(_:) | NamedFunction | (Int) throws -> () [FunctionType] |
26-
| Sources/deduplication/def.swift:18:28:18:31 | _ | ParamDecl | Int [StructType] |
27-
| Sources/deduplication/def.swift:19:1:19:60 | def_rethrowing_function(_:) | NamedFunction | (() throws -> ()) throws -> () [FunctionType] |
28-
| Sources/deduplication/def.swift:19:30:19:47 | _ | ParamDecl | () throws -> () [FunctionType] |
29-
| Sources/deduplication/def.swift:20:1:20:40 | def_async_function(_:) | NamedFunction | (Int) async -> () [FunctionType] |
30-
| Sources/deduplication/def.swift:20:25:20:28 | _ | ParamDecl | Int [StructType] |
31-
| Sources/deduplication/def.swift:21:1:21:56 | def_async_throwing_function(_:) | NamedFunction | (Int) async throws -> () [FunctionType] |
32-
| Sources/deduplication/def.swift:21:34:21:37 | _ | ParamDecl | Int [StructType] |
33-
| Sources/deduplication/def.swift:22:1:22:72 | def_async_rethrowing_function(_:) | NamedFunction | (() throws -> ()) async throws -> () [FunctionType] |
34-
| Sources/deduplication/def.swift:22:36:22:53 | _ | ParamDecl | () throws -> () [FunctionType] |
35-
| Sources/deduplication/def.swift:24:1:24:55 | def_generic_function(_:_:_:) | NamedFunction | <A, B, C> (A, B, C) -> () [GenericFunctionType] |
36-
| Sources/deduplication/def.swift:24:27:24:27 | A | GenericTypeParamDecl | A.Type [MetatypeType] |
37-
| Sources/deduplication/def.swift:24:30:24:30 | B | GenericTypeParamDecl | B.Type [MetatypeType] |
38-
| Sources/deduplication/def.swift:24:33:24:33 | C | GenericTypeParamDecl | C.Type [MetatypeType] |
39-
| Sources/deduplication/def.swift:24:36:24:39 | _ | ParamDecl | A [GenericTypeParamType] |
40-
| Sources/deduplication/def.swift:24:42:24:45 | _ | ParamDecl | B [GenericTypeParamType] |
41-
| Sources/deduplication/def.swift:24:48:24:51 | _ | ParamDecl | C [GenericTypeParamType] |
42-
| Sources/deduplication/def.swift:26:1:26:21 | Protocol1 | ProtocolDecl | Protocol1.Protocol [MetatypeType] |
43-
| Sources/deduplication/def.swift:27:1:29:1 | Protocol2 | ProtocolDecl | Protocol2.Protocol [MetatypeType] |
44-
| Sources/deduplication/def.swift:28:5:28:20 | Associated | AssociatedTypeDecl | Self.Associated.Type [MetatypeType] |
45-
| Sources/deduplication/def.swift:30:1:30:14 | Class | ClassDecl | Class.Type [MetatypeType] |
46-
| Sources/deduplication/def.swift:30:7:30:7 | Class.deinit() | Deinitializer | (Class) -> () -> () [FunctionType] |
47-
| Sources/deduplication/def.swift:30:7:30:7 | Class.init() | Initializer | (Class.Type) -> () -> Class [FunctionType] |
48-
| Sources/deduplication/def.swift:30:7:30:7 | self | ParamDecl | Class [ClassType] |
49-
| Sources/deduplication/def.swift:30:7:30:7 | self | ParamDecl | Class [ClassType] |
50-
| Sources/deduplication/def.swift:32:1:32:128 | def_generic_function_with_conformance(_:_:_:) | NamedFunction | <A, B, C where A : Protocol1, A : Protocol2, B : Class, C == A.Associated> (A, B, C) -> () [GenericFunctionType] |
51-
| Sources/deduplication/def.swift:32:44:32:60 | A | GenericTypeParamDecl | A.Type [MetatypeType] |
52-
| Sources/deduplication/def.swift:32:71:32:75 | B | GenericTypeParamDecl | B.Type [MetatypeType] |
53-
| Sources/deduplication/def.swift:32:82:32:82 | C | GenericTypeParamDecl | C.Type [MetatypeType] |
54-
| Sources/deduplication/def.swift:32:85:32:88 | _ | ParamDecl | A [GenericTypeParamType] |
55-
| Sources/deduplication/def.swift:32:91:32:94 | _ | ParamDecl | B [GenericTypeParamType] |
56-
| Sources/deduplication/def.swift:32:97:32:100 | _ | ParamDecl | C [GenericTypeParamType] |
57-
| Sources/deduplication/def.swift:34:1:34:18 | extension of Class | ExtensionDecl | - |
7+
| Sources/deduplication/def.swift:4:5:4:70 | def_generic_method(t:u:v:) | NamedFunction | <T, U, V> (Generic<T>) -> (T, U, V) -> T [GenericFunctionType] |
8+
| Sources/deduplication/def.swift:4:10:4:10 | self | ParamDecl | Generic<T> [BoundGenericStructType] |
9+
| Sources/deduplication/def.swift:4:29:4:29 | U | GenericTypeParamDecl | U.Type [MetatypeType] |
10+
| Sources/deduplication/def.swift:4:32:4:32 | V | GenericTypeParamDecl | V.Type [MetatypeType] |
11+
| Sources/deduplication/def.swift:4:35:4:38 | t | ParamDecl | T [GenericTypeParamType] |
12+
| Sources/deduplication/def.swift:4:41:4:44 | u | ParamDecl | U [GenericTypeParamType] |
13+
| Sources/deduplication/def.swift:4:47:4:50 | v | ParamDecl | V [GenericTypeParamType] |
14+
| Sources/deduplication/def.swift:7:1:7:45 | var ... = ... | PatternBindingDecl | - |
15+
| Sources/deduplication/def.swift:7:5:7:5 | def_instantiated_generic | ConcreteVarDecl | Generic<Int> [BoundGenericStructType] |
16+
| Sources/deduplication/def.swift:9:1:9:46 | def_function(_:) | NamedFunction | (Int) -> Int [FunctionType] |
17+
| Sources/deduplication/def.swift:9:19:9:22 | _ | ParamDecl | Int [StructType] |
18+
| Sources/deduplication/def.swift:11:1:11:77 | def_function_overloaded_on_return(_:_:) | NamedFunction | (Int, Double) -> Int [FunctionType] |
19+
| Sources/deduplication/def.swift:11:40:11:43 | _ | ParamDecl | Int [StructType] |
20+
| Sources/deduplication/def.swift:11:48:11:51 | _ | ParamDecl | Double [StructType] |
21+
| Sources/deduplication/def.swift:12:1:12:82 | def_function_overloaded_on_return(_:_:) | NamedFunction | (Int, Double) -> Double [FunctionType] |
22+
| Sources/deduplication/def.swift:12:40:12:43 | _ | ParamDecl | Int [StructType] |
23+
| Sources/deduplication/def.swift:12:48:12:51 | _ | ParamDecl | Double [StructType] |
24+
| Sources/deduplication/def.swift:14:1:14:57 | def_function_overloaded_on_parameter_type(_:) | NamedFunction | (Int) -> () [FunctionType] |
25+
| Sources/deduplication/def.swift:14:48:14:51 | _ | ParamDecl | Int [StructType] |
26+
| Sources/deduplication/def.swift:15:1:15:60 | def_function_overloaded_on_parameter_type(_:) | NamedFunction | (Double) -> () [FunctionType] |
27+
| Sources/deduplication/def.swift:15:48:15:51 | _ | ParamDecl | Double [StructType] |
28+
| Sources/deduplication/def.swift:17:1:17:62 | def_function_overloaded_on_parameter_label(one:) | NamedFunction | (Int) -> () [FunctionType] |
29+
| Sources/deduplication/def.swift:17:49:17:56 | x | ParamDecl | Int [StructType] |
30+
| Sources/deduplication/def.swift:18:1:18:62 | def_function_overloaded_on_parameter_label(two:) | NamedFunction | (Int) -> () [FunctionType] |
31+
| Sources/deduplication/def.swift:18:49:18:56 | x | ParamDecl | Int [StructType] |
32+
| Sources/deduplication/def.swift:20:1:20:44 | def_throwing_function(_:) | NamedFunction | (Int) throws -> () [FunctionType] |
33+
| Sources/deduplication/def.swift:20:28:20:31 | _ | ParamDecl | Int [StructType] |
34+
| Sources/deduplication/def.swift:21:1:21:60 | def_rethrowing_function(_:) | NamedFunction | (() throws -> ()) throws -> () [FunctionType] |
35+
| Sources/deduplication/def.swift:21:30:21:47 | _ | ParamDecl | () throws -> () [FunctionType] |
36+
| Sources/deduplication/def.swift:22:1:22:40 | def_async_function(_:) | NamedFunction | (Int) async -> () [FunctionType] |
37+
| Sources/deduplication/def.swift:22:25:22:28 | _ | ParamDecl | Int [StructType] |
38+
| Sources/deduplication/def.swift:23:1:23:56 | def_async_throwing_function(_:) | NamedFunction | (Int) async throws -> () [FunctionType] |
39+
| Sources/deduplication/def.swift:23:34:23:37 | _ | ParamDecl | Int [StructType] |
40+
| Sources/deduplication/def.swift:24:1:24:72 | def_async_rethrowing_function(_:) | NamedFunction | (() throws -> ()) async throws -> () [FunctionType] |
41+
| Sources/deduplication/def.swift:24:36:24:53 | _ | ParamDecl | () throws -> () [FunctionType] |
42+
| Sources/deduplication/def.swift:26:1:26:55 | def_generic_function(_:_:_:) | NamedFunction | <A, B, C> (A, B, C) -> () [GenericFunctionType] |
43+
| Sources/deduplication/def.swift:26:27:26:27 | A | GenericTypeParamDecl | A.Type [MetatypeType] |
44+
| Sources/deduplication/def.swift:26:30:26:30 | B | GenericTypeParamDecl | B.Type [MetatypeType] |
45+
| Sources/deduplication/def.swift:26:33:26:33 | C | GenericTypeParamDecl | C.Type [MetatypeType] |
46+
| Sources/deduplication/def.swift:26:36:26:39 | _ | ParamDecl | A [GenericTypeParamType] |
47+
| Sources/deduplication/def.swift:26:42:26:45 | _ | ParamDecl | B [GenericTypeParamType] |
48+
| Sources/deduplication/def.swift:26:48:26:51 | _ | ParamDecl | C [GenericTypeParamType] |
49+
| Sources/deduplication/def.swift:28:1:28:21 | Protocol1 | ProtocolDecl | Protocol1.Protocol [MetatypeType] |
50+
| Sources/deduplication/def.swift:29:1:31:1 | Protocol2 | ProtocolDecl | Protocol2.Protocol [MetatypeType] |
51+
| Sources/deduplication/def.swift:30:5:30:20 | Associated | AssociatedTypeDecl | Self.Associated.Type [MetatypeType] |
52+
| Sources/deduplication/def.swift:32:1:32:14 | Class | ClassDecl | Class.Type [MetatypeType] |
53+
| Sources/deduplication/def.swift:32:7:32:7 | Class.deinit() | Deinitializer | (Class) -> () -> () [FunctionType] |
54+
| Sources/deduplication/def.swift:32:7:32:7 | Class.init() | Initializer | (Class.Type) -> () -> Class [FunctionType] |
55+
| Sources/deduplication/def.swift:32:7:32:7 | self | ParamDecl | Class [ClassType] |
56+
| Sources/deduplication/def.swift:32:7:32:7 | self | ParamDecl | Class [ClassType] |
57+
| Sources/deduplication/def.swift:34:1:34:128 | def_generic_function_with_conformance(_:_:_:) | NamedFunction | <A, B, C where A : Protocol1, A : Protocol2, B : Class, C == A.Associated> (A, B, C) -> () [GenericFunctionType] |
58+
| Sources/deduplication/def.swift:34:44:34:60 | A | GenericTypeParamDecl | A.Type [MetatypeType] |
59+
| Sources/deduplication/def.swift:34:71:34:75 | B | GenericTypeParamDecl | B.Type [MetatypeType] |
60+
| Sources/deduplication/def.swift:34:82:34:82 | C | GenericTypeParamDecl | C.Type [MetatypeType] |
61+
| Sources/deduplication/def.swift:34:85:34:88 | _ | ParamDecl | A [GenericTypeParamType] |
62+
| Sources/deduplication/def.swift:34:91:34:94 | _ | ParamDecl | B [GenericTypeParamType] |
63+
| Sources/deduplication/def.swift:34:97:34:100 | _ | ParamDecl | C [GenericTypeParamType] |
64+
| Sources/deduplication/def.swift:36:1:36:18 | extension of Class | ExtensionDecl | - |
5865
| Sources/deduplication/use.swift:1:1:1:15 | var ... = ... | PatternBindingDecl | - |
5966
| Sources/deduplication/use.swift:1:5:1:5 | use_int | ConcreteVarDecl | Int [StructType] |
6067
| Sources/deduplication/use.swift:2:1:2:32 | var ... = ... | PatternBindingDecl | - |
6168
| Sources/deduplication/use.swift:2:5:2:5 | use_instantiated_generic | ConcreteVarDecl | Generic<Int> [BoundGenericStructType] |
62-
| Sources/deduplication/use.swift:3:1:3:20 | var ... = ... | PatternBindingDecl | - |
63-
| Sources/deduplication/use.swift:3:5:3:5 | use_function | ConcreteVarDecl | (Int) -> Int [FunctionType] |
64-
| Sources/deduplication/use.swift:4:1:4:66 | use_generic_function_type(_:_:_:) | NamedFunction | <AA, BB, CC> (AA, BB, CC) -> () [GenericFunctionType] |
65-
| Sources/deduplication/use.swift:4:32:4:32 | AA | GenericTypeParamDecl | AA.Type [MetatypeType] |
66-
| Sources/deduplication/use.swift:4:36:4:36 | BB | GenericTypeParamDecl | BB.Type [MetatypeType] |
67-
| Sources/deduplication/use.swift:4:40:4:40 | CC | GenericTypeParamDecl | CC.Type [MetatypeType] |
68-
| Sources/deduplication/use.swift:4:44:4:47 | _ | ParamDecl | AA [GenericTypeParamType] |
69-
| Sources/deduplication/use.swift:4:51:4:54 | _ | ParamDecl | BB [GenericTypeParamType] |
70-
| Sources/deduplication/use.swift:4:58:4:61 | _ | ParamDecl | CC [GenericTypeParamType] |
71-
| Sources/deduplication/use.swift:5:1:5:45 | use_async_function_type(_:) | NamedFunction | (Int) async -> () [FunctionType] |
72-
| Sources/deduplication/use.swift:5:30:5:33 | _ | ParamDecl | Int [StructType] |
73-
| Sources/deduplication/use.swift:6:1:6:49 | use_throwing_function_type(_:) | NamedFunction | (Int) throws -> () [FunctionType] |
74-
| Sources/deduplication/use.swift:6:33:6:36 | _ | ParamDecl | Int [StructType] |
75-
| Sources/deduplication/use.swift:7:1:7:61 | use_async_throwing_function_type(_:) | NamedFunction | (Int) async throws -> () [FunctionType] |
76-
| Sources/deduplication/use.swift:7:39:7:42 | _ | ParamDecl | Int [StructType] |
77-
| Sources/deduplication/use.swift:8:1:8:150 | use_generic_function_with_conformance_type(_:_:_:) | NamedFunction | <AA, BB, CC where AA : Protocol1, AA : Protocol2, BB : Class, CC == AA.Associated> (AA, BB, CC) -> () [GenericFunctionType] |
78-
| Sources/deduplication/use.swift:8:49:8:49 | AA | GenericTypeParamDecl | AA.Type [MetatypeType] |
79-
| Sources/deduplication/use.swift:8:53:8:53 | BB | GenericTypeParamDecl | BB.Type [MetatypeType] |
80-
| Sources/deduplication/use.swift:8:57:8:57 | CC | GenericTypeParamDecl | CC.Type [MetatypeType] |
81-
| Sources/deduplication/use.swift:8:61:8:64 | _ | ParamDecl | AA [GenericTypeParamType] |
82-
| Sources/deduplication/use.swift:8:68:8:71 | _ | ParamDecl | BB [GenericTypeParamType] |
83-
| Sources/deduplication/use.swift:8:75:8:78 | _ | ParamDecl | CC [GenericTypeParamType] |
84-
| Sources/deduplication/use.swift:10:1:10:18 | extension of Class | ExtensionDecl | - |
69+
| Sources/deduplication/use.swift:3:1:3:83 | var ... = ... | PatternBindingDecl | - |
70+
| Sources/deduplication/use.swift:3:5:3:5 | answer | ConcreteVarDecl | Int [StructType] |
71+
| Sources/deduplication/use.swift:4:1:4:20 | var ... = ... | PatternBindingDecl | - |
72+
| Sources/deduplication/use.swift:4:5:4:5 | use_function | ConcreteVarDecl | (Int) -> Int [FunctionType] |
73+
| Sources/deduplication/use.swift:5:1:5:66 | use_generic_function_type(_:_:_:) | NamedFunction | <AA, BB, CC> (AA, BB, CC) -> () [GenericFunctionType] |
74+
| Sources/deduplication/use.swift:5:32:5:32 | AA | GenericTypeParamDecl | AA.Type [MetatypeType] |
75+
| Sources/deduplication/use.swift:5:36:5:36 | BB | GenericTypeParamDecl | BB.Type [MetatypeType] |
76+
| Sources/deduplication/use.swift:5:40:5:40 | CC | GenericTypeParamDecl | CC.Type [MetatypeType] |
77+
| Sources/deduplication/use.swift:5:44:5:47 | _ | ParamDecl | AA [GenericTypeParamType] |
78+
| Sources/deduplication/use.swift:5:51:5:54 | _ | ParamDecl | BB [GenericTypeParamType] |
79+
| Sources/deduplication/use.swift:5:58:5:61 | _ | ParamDecl | CC [GenericTypeParamType] |
80+
| Sources/deduplication/use.swift:6:1:6:45 | use_async_function_type(_:) | NamedFunction | (Int) async -> () [FunctionType] |
81+
| Sources/deduplication/use.swift:6:30:6:33 | _ | ParamDecl | Int [StructType] |
82+
| Sources/deduplication/use.swift:7:1:7:49 | use_throwing_function_type(_:) | NamedFunction | (Int) throws -> () [FunctionType] |
83+
| Sources/deduplication/use.swift:7:33:7:36 | _ | ParamDecl | Int [StructType] |
84+
| Sources/deduplication/use.swift:8:1:8:61 | use_async_throwing_function_type(_:) | NamedFunction | (Int) async throws -> () [FunctionType] |
85+
| Sources/deduplication/use.swift:8:39:8:42 | _ | ParamDecl | Int [StructType] |
86+
| Sources/deduplication/use.swift:9:1:9:150 | use_generic_function_with_conformance_type(_:_:_:) | NamedFunction | <AA, BB, CC where AA : Protocol1, AA : Protocol2, BB : Class, CC == AA.Associated> (AA, BB, CC) -> () [GenericFunctionType] |
87+
| Sources/deduplication/use.swift:9:49:9:49 | AA | GenericTypeParamDecl | AA.Type [MetatypeType] |
88+
| Sources/deduplication/use.swift:9:53:9:53 | BB | GenericTypeParamDecl | BB.Type [MetatypeType] |
89+
| Sources/deduplication/use.swift:9:57:9:57 | CC | GenericTypeParamDecl | CC.Type [MetatypeType] |
90+
| Sources/deduplication/use.swift:9:61:9:64 | _ | ParamDecl | AA [GenericTypeParamType] |
91+
| Sources/deduplication/use.swift:9:68:9:71 | _ | ParamDecl | BB [GenericTypeParamType] |
92+
| Sources/deduplication/use.swift:9:75:9:78 | _ | ParamDecl | CC [GenericTypeParamType] |
93+
| Sources/deduplication/use.swift:11:1:11:18 | extension of Class | ExtensionDecl | - |

swift/integration-tests/posix-only/deduplication/Sources/deduplication/def.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
var def_int = 42
22

3-
struct Generic<T> {}
3+
struct Generic<T> {
4+
func def_generic_method<U, V>(t: T, u: U, v: V) -> T { return t; }
5+
}
46

57
var def_instantiated_generic = Generic<Int>()
68

swift/integration-tests/posix-only/deduplication/Sources/deduplication/use.swift

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
let use_int = def_int
22
let use_instantiated_generic = def_instantiated_generic
3+
let answer = use_instantiated_generic.def_generic_method(t: 42, u: "hello", v: 0.0)
34
let use_function = def_function
45
func use_generic_function_type<AA, BB, CC>(_: AA, _: BB, _: CC) {}
56
func use_async_function_type(_: Int) async {}

swift/integration-tests/posix-only/deduplication/Types.expected

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,9 @@
1212
| <A, B, C> (A, B, C) -> () | GenericFunctionType | def_generic_function(_:_:_:) | <\u03c4_0_0, \u03c4_0_1, \u03c4_0_2> (\u03c4_0_0, \u03c4_0_1, \u03c4_0_2) -> () |
1313
| <AA, BB, CC where AA : Protocol1, AA : Protocol2, BB : Class, CC == AA.Associated> (AA, BB, CC) -> () | GenericFunctionType | use_generic_function_with_conformance_type(_:_:_:) | <\u03c4_0_0, \u03c4_0_1, \u03c4_0_2 where \u03c4_0_0 : Protocol1, \u03c4_0_0 : Protocol2, \u03c4_0_1 : Class, \u03c4_0_2 == \u03c4_0_0.Associated> (\u03c4_0_0, \u03c4_0_1, \u03c4_0_2) -> () |
1414
| <AA, BB, CC> (AA, BB, CC) -> () | GenericFunctionType | use_generic_function_type(_:_:_:) | <\u03c4_0_0, \u03c4_0_1, \u03c4_0_2> (\u03c4_0_0, \u03c4_0_1, \u03c4_0_2) -> () |
15+
| <T, U, V> (Generic<T>) -> (T, U, V) -> T | GenericFunctionType | def_generic_method(t:u:v:) | <\u03c4_0_0, \u03c4_1_0, \u03c4_1_1> (Generic<\u03c4_0_0>) -> (\u03c4_0_0, \u03c4_1_0, \u03c4_1_1) -> \u03c4_0_0 |
1516
| <\u03c4_0_0, \u03c4_0_1, \u03c4_0_2 where \u03c4_0_0 : Protocol1, \u03c4_0_0 : Protocol2, \u03c4_0_1 : Class, \u03c4_0_2 == \u03c4_0_0.Associated> (\u03c4_0_0, \u03c4_0_1, \u03c4_0_2) -> () | GenericFunctionType | def_generic_function_with_conformance(_:_:_:), use_generic_function_with_conformance_type(_:_:_:) | |
1617
| <\u03c4_0_0, \u03c4_0_1, \u03c4_0_2> (\u03c4_0_0, \u03c4_0_1, \u03c4_0_2) -> () | GenericFunctionType | def_generic_function(_:_:_:), use_generic_function_type(_:_:_:) | |
18+
| <\u03c4_0_0, \u03c4_1_0, \u03c4_1_1> (Generic<\u03c4_0_0>) -> (\u03c4_0_0, \u03c4_1_0, \u03c4_1_1) -> \u03c4_0_0 | GenericFunctionType | def_generic_method(t:u:v:) | |
1719
| Generic<Int> | BoundGenericStructType | def_instantiated_generic, use_instantiated_generic | |
1820
| Int | StructType | def_int, use_int | |

0 commit comments

Comments
 (0)