tests/ui/const-generics/type-relative-path-144547.rs

// Regression test for #144547.

//@ revisions: min mgca
//@[mgca] check-pass
#![allow(incomplete_features)]
#![feature(mgca_type_const_syntax)]
#![cfg_attr(mgca, feature(min_generic_const_args))]
// FIXME(mgca) syntax is it's own feature flag before
// expansion and is also an incomplete feature.
//#![cfg_attr(mgca, expect(incomplete_features))]

trait UnderlyingImpl<const MAX_SIZE: usize> {
    type InfoType: LevelInfo;
    type SupportedArray<T>;
}

trait LevelInfo {
    #[cfg(mgca)]
    type const SUPPORTED_SLOTS: usize;

    #[cfg(not(mgca))]
    const SUPPORTED_SLOTS: usize;
}

struct Info;

impl LevelInfo for Info {
    #[cfg(mgca)]
    type const SUPPORTED_SLOTS: usize = 1;

    #[cfg(not(mgca))]
    const SUPPORTED_SLOTS: usize = 1;
}

struct SomeImpl;

impl<const MAX_SIZE: usize> UnderlyingImpl<MAX_SIZE> for SomeImpl {
    type InfoType = Info;
    type SupportedArray<T> = [T; <Self::InfoType as LevelInfo>::SUPPORTED_SLOTS];
    //[min]~^ ERROR generic parameters
}

fn main() {}