Which bug are you referring to? I know trait inlining is not supported, but we rely on non-trait inlining in many other places of the compiler already for methods that look a lot like this one.