Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Implement subtyping for type variables created by capture conversion …
…of `? super` wildcards. - For the code in `isNullnessSubtype`, see ["`F` is a type-variable usage that meets _both_ of the following conditions...."](https://jspecify.dev/spec#:~:text=F%20is%20a%20type%2Dvariable%20usage%20that%20meets%20both%20of%20the%20following%20conditions%3A) - For the code in `isNullInclusiveUnderEveryParameterization`, see ["It is a type variable that meets _both_ of the following conditions...."](https://jspecify.dev/spec#:~:text=It%20is%20a%20type%20variable%20that%20meets%20both%20of%20the%20following%20conditions%3A) This code will never (or [perhaps only _almost_ never](e80571b)) run under the current version of the checker, but it will become necessary when we merge the upstream implementation of capture conversion.
- Loading branch information