This seems to happen only when the caller of the trait, the trait definition and the impl definition are all in different modules. Here is a repro https://github.com/typeless/myr-bug/blob/main/c.myr#L12 ``` $ mbld 6m -O obj -I obj -I obj a.myr Missing decl f CRASH: 6m -O obj -I obj -I obj a.myr ```