For covariant return types and generics a compiler must generate synthetic bridge methods. Weld does not intercept these methods, instead the underlying implementation methods are intercepted. However, this approach does not work if a bridge method impl uses invokespecial instruction.