fn notable_traits<'db>( db: &'db RootDatabase, ty: &Type<'db>, ) -> Vec<(Trait, Vec<(Option<Type<'db>>, Name)>)>