40c4e865c7
K2/Java/enhancement: implement wildcards replacement with flexible bounds
...
This commit in fact changes two very related places:
- first, it implements forgotten 'enhancedForWarnings' in K2 enhancement
- second, it repeats KT-48515 fix for K2 while enhancing wildcards
#KT-65594 Fixed
Related to KT-48515, KT-63746
2024-03-15 09:40:54 +00:00
d897bfbcad
Fix tests after a semantically conflicting merge of KT-50008 and KT-65596
2024-03-12 14:54:10 +00:00
c4bcdc42c1
K2: don't count use-sites of Java type parameter with nullable bounds as not null
2024-03-11 18:05:04 +00:00
e701a16460
Fix of jspecify test data
...
In a1.bar<T?> now we have effectively T! bound instead,
so a diagnostic disappears here
2024-03-11 13:38:05 +00:00
31256e259e
[FIR] Fix lower bound of flexible type variable not becoming DNN in warning-severity case
...
The bug was introduced as part of the implementation for Java
nullability warnings.
#KT-58933 Fixed
2023-11-24 11:00:10 +00:00
a63ec9efdc
[FIR] Implement warnings for java nullability upper bound violation
2023-11-15 08:43:55 +00:00
2df1e9dde6
[FIR] Implement warnings for java nullability type mismatch on override
...
#KT-56989
2023-11-15 08:43:55 +00:00
a6fdeeb7df
[FIR] Implement warnings for java nullability type mismatch
...
#KT-56989
2023-11-15 08:43:55 +00:00
c3ac2e44a0
Adjust test data for enabling ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
...
^KT-55388 Fixed
2023-05-15 10:43:19 +00:00
671480ce1a
Duplicate this entire test suite to jspecifyOld before changing the package locations in jspecify.
2022-12-27 11:10:59 +00:00
Mikhail Glukhikh