-
Notifications
You must be signed in to change notification settings - Fork 355
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Crash report: error: AsSuperVisitor: type is not an erased subtype of supertype. #3791
Comments
Something about the pattern of programming in these translators is causing the problem fairly reliably. These match a Java class and translate it to a proto representation, more or less. I doubt that is relevant. |
Unfortunately, I cannot reproduce this problem. The output when I run the given commands is:
|
I realize that I have made two errors in my reports:
|
Thanks for the update. If you can provide a smaller test case, that will help us greatly: we will be able to focus on the essence of the problem rather than the richness of beam and its build system. For example, if you can identify the file with the problem and provide that file (along with stubs for APIs it uses), that would be extremely helpful. Is that possible? |
Here's a small test case:
|
Steps to reproduce:
The output is very long, as the error occurs in many places. Despite instructions to paste the whole thing, I will just paste one example:
Here are some more examples of just the primary error:
I may not understand what is going on. Certainly
PInput
is not a subtype ofPCollectionList<T>
norPCollection<T>
but rather the converse is true.I am running this with checkerframework 3.5.0. You can vary the version by editing the relevant line in
BeamModulePlugin.groovy
.The text was updated successfully, but these errors were encountered: