async fn require_ty_is_shared<'db>( env: &mut Env<'db>, term: SymTy<'db>, or_else: &dyn OrElse<'db>, ) -> Errors<()>