mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 01:42:17 +07:00
Do not reset nullability of a proper class type during the substitution (cherry picked from commit ba1134c2b296e150e63800e45713a79026739253) IJ-CR-197208 GitOrigin-RevId: 3b840e9bd8f2e68cf177f18aea03d6708a5df2a5