1*2167191dSAndroid Build Coastguard Worker /*
2*2167191dSAndroid Build Coastguard Worker  * Copyright 2022 The JSpecify Authors.
3*2167191dSAndroid Build Coastguard Worker  *
4*2167191dSAndroid Build Coastguard Worker  * Licensed under the Apache License, Version 2.0 (the "License");
5*2167191dSAndroid Build Coastguard Worker  * you may not use this file except in compliance with the License.
6*2167191dSAndroid Build Coastguard Worker  * You may obtain a copy of the License at
7*2167191dSAndroid Build Coastguard Worker  *
8*2167191dSAndroid Build Coastguard Worker  *     http://www.apache.org/licenses/LICENSE-2.0
9*2167191dSAndroid Build Coastguard Worker  *
10*2167191dSAndroid Build Coastguard Worker  * Unless required by applicable law or agreed to in writing, software
11*2167191dSAndroid Build Coastguard Worker  * distributed under the License is distributed on an "AS IS" BASIS,
12*2167191dSAndroid Build Coastguard Worker  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*2167191dSAndroid Build Coastguard Worker  * See the License for the specific language governing permissions and
14*2167191dSAndroid Build Coastguard Worker  * limitations under the License.
15*2167191dSAndroid Build Coastguard Worker  */
16*2167191dSAndroid Build Coastguard Worker package memberselectnonexpression;
17*2167191dSAndroid Build Coastguard Worker 
18*2167191dSAndroid Build Coastguard Worker import org.jspecify.annotations.NullMarked;
19*2167191dSAndroid Build Coastguard Worker import org.jspecify.annotations.Nullable;
20*2167191dSAndroid Build Coastguard Worker 
21*2167191dSAndroid Build Coastguard Worker class MemberSelectNonExpressions {
22*2167191dSAndroid Build Coastguard Worker   @NullMarked
23*2167191dSAndroid Build Coastguard Worker   static class NullMarkedUsage {
x0()24*2167191dSAndroid Build Coastguard Worker     static void x0() {
25*2167191dSAndroid Build Coastguard Worker       int x;
26*2167191dSAndroid Build Coastguard Worker 
27*2167191dSAndroid Build Coastguard Worker       Static.x();
28*2167191dSAndroid Build Coastguard Worker       x = Static.x;
29*2167191dSAndroid Build Coastguard Worker 
30*2167191dSAndroid Build Coastguard Worker       MemberSelectNonExpressions.Static.x();
31*2167191dSAndroid Build Coastguard Worker       x = MemberSelectNonExpressions.Static.x;
32*2167191dSAndroid Build Coastguard Worker 
33*2167191dSAndroid Build Coastguard Worker       memberselectnonexpression.MemberSelectNonExpressions.Static.x();
34*2167191dSAndroid Build Coastguard Worker       x = memberselectnonexpression.MemberSelectNonExpressions.Static.x;
35*2167191dSAndroid Build Coastguard Worker     }
36*2167191dSAndroid Build Coastguard Worker 
x1()37*2167191dSAndroid Build Coastguard Worker     static void x1() {
38*2167191dSAndroid Build Coastguard Worker       StaticParameterized<Object> s0;
39*2167191dSAndroid Build Coastguard Worker       MemberSelectNonExpressions.StaticParameterized<Object> s1;
40*2167191dSAndroid Build Coastguard Worker       memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object> s2;
41*2167191dSAndroid Build Coastguard Worker 
42*2167191dSAndroid Build Coastguard Worker       StaticParameterized<Object>.Inner i0;
43*2167191dSAndroid Build Coastguard Worker       MemberSelectNonExpressions.StaticParameterized<Object>.Inner i1;
44*2167191dSAndroid Build Coastguard Worker       memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object>.Inner i2;
45*2167191dSAndroid Build Coastguard Worker     }
46*2167191dSAndroid Build Coastguard Worker   }
47*2167191dSAndroid Build Coastguard Worker 
48*2167191dSAndroid Build Coastguard Worker   static class NotNullMarkedUsage {
x0()49*2167191dSAndroid Build Coastguard Worker     static void x0() {
50*2167191dSAndroid Build Coastguard Worker       int x;
51*2167191dSAndroid Build Coastguard Worker 
52*2167191dSAndroid Build Coastguard Worker       Static.x();
53*2167191dSAndroid Build Coastguard Worker       x = Static.x;
54*2167191dSAndroid Build Coastguard Worker 
55*2167191dSAndroid Build Coastguard Worker       MemberSelectNonExpressions.Static.x();
56*2167191dSAndroid Build Coastguard Worker       x = MemberSelectNonExpressions.Static.x;
57*2167191dSAndroid Build Coastguard Worker 
58*2167191dSAndroid Build Coastguard Worker       memberselectnonexpression.MemberSelectNonExpressions.Static.x();
59*2167191dSAndroid Build Coastguard Worker       x = memberselectnonexpression.MemberSelectNonExpressions.Static.x;
60*2167191dSAndroid Build Coastguard Worker     }
61*2167191dSAndroid Build Coastguard Worker 
x1()62*2167191dSAndroid Build Coastguard Worker     static void x1() {
63*2167191dSAndroid Build Coastguard Worker       StaticParameterized<Object> s0;
64*2167191dSAndroid Build Coastguard Worker       MemberSelectNonExpressions.StaticParameterized<Object> s1;
65*2167191dSAndroid Build Coastguard Worker       memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object> s2;
66*2167191dSAndroid Build Coastguard Worker 
67*2167191dSAndroid Build Coastguard Worker       StaticParameterized<Object>.Inner i0;
68*2167191dSAndroid Build Coastguard Worker       MemberSelectNonExpressions.StaticParameterized<Object>.Inner i1;
69*2167191dSAndroid Build Coastguard Worker       memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object>.Inner i2;
70*2167191dSAndroid Build Coastguard Worker     }
71*2167191dSAndroid Build Coastguard Worker   }
72*2167191dSAndroid Build Coastguard Worker 
73*2167191dSAndroid Build Coastguard Worker   static class Static {
x()74*2167191dSAndroid Build Coastguard Worker     static void x() {}
75*2167191dSAndroid Build Coastguard Worker 
76*2167191dSAndroid Build Coastguard Worker     static int x;
77*2167191dSAndroid Build Coastguard Worker   }
78*2167191dSAndroid Build Coastguard Worker 
79*2167191dSAndroid Build Coastguard Worker   static class StaticParameterized<T extends @Nullable Object> {
x()80*2167191dSAndroid Build Coastguard Worker     static void x() {}
81*2167191dSAndroid Build Coastguard Worker 
82*2167191dSAndroid Build Coastguard Worker     static int x;
83*2167191dSAndroid Build Coastguard Worker 
84*2167191dSAndroid Build Coastguard Worker     class Inner {}
85*2167191dSAndroid Build Coastguard Worker   }
86*2167191dSAndroid Build Coastguard Worker }
87