// RUN_PIPELINE_TILL: FRONTEND
// FIR_IDENTICAL
// ISSUE: KT-79076
// LANGUAGE: +FixationEnhancementsIn22
// DUMP_INFERENCE_LOGS: FIXATION

interface RecordId<T, Self : RecordId<T, Self>>

class MyRecordId : RecordId<String, MyRecordId>

class Foo2<T, Id : RecordId<T, Id>>(underlyingColumn: T)

val x = <!CANNOT_INFER_PARAMETER_TYPE!>Foo2<!>("")

/* GENERATED_FIR_TAGS: classDeclaration, interfaceDeclaration, nullableType, outProjection, primaryConstructor,
propertyDeclaration, starProjection, typeConstraint, typeParameter */
