Inlay hints for patterns #4624
Description
Is your feature request related to a problem? Please describe.
It would be helpful to easily see (and navigate) to inferred types for patterns (switch, if-case, destructuring, etc.)
For now it's only possible to see inferred type from hover popup.
Describe the solution you'd like
Make inlay hints for patterns behave like for generics (like #4366)
Describe alternatives you've considered
Not really.
Additional context
Also inferred patterns are not navigable, in example hint Box<int> allows to navigate to int, but Box<(int, int)> both ints are not navigable.
And probably inferred single element pattern should be (Type,) instead of (Type).
final class Box<T> {
const Box(this.value);
final T value;
}
void main() {
{
{ // actual
final (i, j) = (1, 2);
}
{ // expected
final (int i, int j) = (1, 2);
}
}
{
final pattern = (test: (10,), 2);
{ // actual
if (pattern case final p) {}
final (_, :test,) = pattern;
final Null _switch = switch (pattern) {
(:final test, var i) => null,
};
}
{ // expected
if (pattern case final (int, {(int,) test}) p) {}
final (_, :(int,) test,) = pattern;
final Null _switch = switch (pattern) {
(:final (int,) test, var /*int*/ i) => null,
};
}
}
{
const simple = Box(2);
const pattern = Box((1,2));
{ // actual
if (simple case Box(:final value)) {}
if (pattern case Box(:final value)) {}
if (pattern case Box(value: final test)) {}
}
{ // expected
if (simple case Box<int>(:final int value)) {}
if (pattern case Box<(int, int)>(:final (int, int) value)) {}
if (pattern case Box<(int, int)>(value: final (int, int) test)) {}
}
}
}Screenshot of current behavior
