Function hir_ty::dyn_compatibility::dyn_compatibility_with_callback
source ยท pub fn dyn_compatibility_with_callback<F>(
db: &dyn HirDatabase,
trait_: TraitId,
cb: &mut F,
) -> ControlFlow<()>