{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"ty::Alias(ty::Inherent"}]}
                    ty::Alias(ty::Inherent | ty::Free | ty::Opaque, _) => {
                    // The old solver only accepts projection predicates for associated types.
                        return Err(TypeError::CyclicTy(source_ty));