{"ast_node_type":"function","tokens":[{"end":26,"kind":"keyword","start":0,"text":"pub"}]}
pub fn could_unify_deeply(
/// them. For example `Option<T>` and `Option<U>` do not unify as we cannot show that `T = U`
    db: &dyn HirDatabase,