const_trait_impl: super trait not satisfied for generic impl #92230

I tried this code:

#![feature(const_fn_trait_bound)]
#![feature(const_trait_impl)]

pub trait Super {}
pub trait Sub: Super {}

impl<A> const Super for &A where A: ~const Super {}

impl<A> const Sub for &A where A: ~const Sub {}

I expected to see this happen: the code compiles successfully

Instead, this happened: compiler errors saying that error[E0277]: the trait bound `A: Super` is not satisfied

cc @rust-lang/wg-const-eval

playground