1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
/*
* Copyright 2022 Google LLC
* Copyright 2010-2022 JetBrains s.r.o. and Kotlin Programming Language contributors.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
// WITH_RUNTIME
// TEST PROCESSOR: InnerTypeProcessor
// EXPECTED:
// C1<*>: [C1<STAR null>]
// C1<Int>: [C1<INVARIANT Int>]
// C2<*, *>: [C1.C2<STAR null>, C1<STAR null>]
// C2<Short, Int>: [C1.C2<INVARIANT Short>, C1<INVARIANT Int>]
// C3<*, *, *>: [C1.C2.C3<STAR null>, C1.C2<STAR null>, C1<STAR null>]
// C3<Byte, Short, Int>: [C1.C2.C3<INVARIANT Byte>, C1.C2<INVARIANT Short>, C1<INVARIANT Int>]
// C4<*>: [C1.C4<STAR null>]
// C4<Double>: [C1.C4<INVARIANT Double>]
// C5<*, *>: [C1.C4.C5<STAR null>, C1.C4<STAR null>]
// C5<Float, Double>: [C1.C4.C5<INVARIANT Float>, C1.C4<INVARIANT Double>]
// END
@file:Suppress("Byte", "Int", "Short", "Double", "Float", "Suppress", "Any")
class C1<T1> {
inner class C2<T2> {
inner class C3<T3> {
}
}
class C4<T4> {
inner class C5<T5>
}
}
val c1 = C1<Int>()
val c2 = c1.C2<Short>()
val c3 = c2.C3<Byte>()
val c4 = C1.C4<Double>()
val c5 = c4.C5<Float>()
|
