Constants with generics are handled badly

[W95Psp]

trait Foo {
    type X;
    const FOO: Self::X;
}

fn f<T: Foo<X = usize>>(x: T) -> usize {
    T::FOO + 3
}

In f, T::FOO is a GlobalVar, not an App.

[github-actions]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[github-actions]

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.

[W95Psp]

That's still a bug

[W95Psp]

This was closed by #989