Inference crashes on a chained call whose lambda returns a capture of an F-bounded type argument
Maintainers usually reply within 2 days
Assessment
This issue has not been assessed yet.
Description
import java.util.List;
import java.util.function.Function;
public class FBoundedCaptureInChainedCall {
interface FB<K, V extends Comparable<V>> {}
interface Box<T> {
<R> Box<R> map(Function<? super T, ? extends R> f);
<S> S get(Getter<? super T, S> g);
}
interface Getter<T, S> {}
static native <T> Getter<T, List<T>> toList();
static native <P> FB<P, ? extends Integer> fbExtends(P p);
static List<FB<?, ?>> m(Box<String> b) {
// Crash: BugInCF "False bound for: Constraint: Object <: FB<? extends Object, ? extends Object>".
return b.map(t -> fbExtends(t)).get(toList());
}
}
- Dominant language
- Java
- Stars
- 1.1k
- Forks
- 440
- Avg merge
- 3d 18h
- Merged PRs (30d)
- 61
Getting set up
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from typetools/checker-framework
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
typetools/checker-framework#8043 ·
Maintainers usually reply within 2 days
-
Enforce `@TargetLocations`Possibly taken @w3lld1 claimed this 52 days ago. Open
Difficulty 1/5 Under an hour Newbie friendliness 85/100
typetools/checker-framework#8042 ·
Maintainers usually reply within 2 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
typetools/checker-framework#7096 · 1 comment ·
Maintainers usually reply within 2 days
-
Difficulty 4/5 3-5 days Newbie friendliness 55/100
typetools/checker-framework#8392 ·
Maintainers usually reply within 2 days
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
typetools/checker-framework#8377 ·
Maintainers usually reply within 2 days
All issues in typetools/checker-framework
Similar issues
-
staticAssetsPath follows symlinks outside the directory on WindowsPossibly taken @ybelMekk claimed this today. Openbug security findings
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
navikt/mock-oauth2-server#1132 ·
Maintainers usually reply within 1 day
-
agent:working follow-up
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
Sanne/incus-spawn#1683 · 2 comments ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
checkstyle/checkstyle#22210 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 67/100
google/error-prone#6239 · 1 comment ·
Maintainers usually reply within 1 day
-
[Failing Test]: BigqueryClient.queryUnflattened fails BigQuery ITs on a transient 503Possibly taken @mxtymoshyk claimed this today. Open
Difficulty 2/5 1-3 hours Newbie friendliness 77/100
Maintainers usually reply within 1 day