Cyclic(?) preceding type(?) parametric reference issue

[im_a_lama (LAMA)]

Summary

This compiles

class_a := class:
    B : class_b

class_b := class:
    A : class_a

This doesn’t

class_a(t:type) := class<abstract>:
    B():class_b(t)

class_b(t:type) := class<abstract>:
    A():class_a(t)

Shows this error on the 2nd class only :

Seems like a preceding type error but it doesn’t show the correct error then

Please select what you are reporting on:

Verse

What Type of Bug are you experiencing?

Verse

Steps to Reproduce

See repro

Expected Result

Should compile

Observed Result

Doesn’t compile

Platform(s)

PC