`adt_const_params` allows impls of `ConstParamTy` with non-ConstParamTy pointees

[BoxyUwU]

I tried this code:

#![feature(adt_const_params)]

use core::marker::ConstParamTy;

struct Foo;

impl ConstParamTy for &'static Foo {}

I expected to see this happen: it should error

Instead, this happened: it compilers

Meta

playground version:

Nightly channel

Build using the Nightly version: 1.72.0-nightly

(2023-05-29 498553fc04f6a3fdc534)

Backtrace

<backtrace>

[BoxyUwU]

Checks should also be added for tuple,array and slice element tys just to be safe imo