pub fn dyn_compatibility_with_callback<F>(
db: &(dyn HirDatabase + 'static),
trait_: TraitId,
cb: &mut F,
) -> ControlFlow<()>pub fn dyn_compatibility_with_callback<F>(
db: &(dyn HirDatabase + 'static),
trait_: TraitId,
cb: &mut F,
) -> ControlFlow<()>