What specifically allows an inner type to be used ...

# general-advice

[Zyle Moore]

What specifically allows an inner type to be used for a property, but requires the outer name (or an import) as a generic type?

data class ClassWithProp(
    val prop: Prop
) {
    interface Prop
}

data class ClassWithType<TProp : ClassWithType.Prop>(
    val prop: TProp
) {
    interface Prop
}

[Zyle Moore]

I'd like to be able to use the type in a generic constraint, without specifying the outer class, or importing

data class ClassWithType<TProp : Prop>(
    val prop: TProp
) {
    interface Prop
}

[Zyle Moore]

Is it something like, the type is resolved(?) before the constructors, and before other things defined inside the type (members, functions, other types), but all types are resolved before constructors?
• ClassWithType
◦ generic, depends on ClassWithType.Prop
▪︎ resolve ClassWithType.Prop first
◦ inner types
◦ constructors
• ClassWithProps
◦ inner types
◦ constructors