27 lines
600 B
Rust
27 lines
600 B
Rust
|
//@ known-bug: rust-lang/rust#129556
|
||
|
|
|
||
|
|
#![feature(adt_const_params)]
|
||
|
|
#![feature(generic_const_exprs)]
|
||
|
|
|
||
|
|
use core::marker::ConstParamTy;
|
||
|
|
|
||
|
|
// #[derive(ConstParamTy, PartialEq, Eq)]
|
||
|
|
// struct StructOrEnum;
|
||
|
|
|
||
|
|
#[derive(ConstParamTy, PartialEq, Eq)]
|
||
|
|
enum StructOrEnum {
|
||
|
|
A,
|
||
|
|
}
|
||
|
|
|
||
|
|
trait TraitParent<const SMTH: StructOrEnum = { StructOrEnum::A }> {}
|
||
|
|
|
||
|
|
trait TraitChild<const SMTH: StructOrEnum = { StructOrEnum::A }>: TraitParent<SMTH> {}
|
||
|
|
|
||
|
|
impl TraitParent for StructOrEnum {}
|
||
|
|
|
||
|
|
// ICE occurs
|
||
|
|
impl TraitChild for StructOrEnum {}
|
||
|
|
|
||
|
|
// ICE does not occur
|
||
|
|
// impl TraitChild<{ StructOrEnum::A }> for StructOrEnum {}
|