{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        typing_env: ty::TypingEnv<'tcx>,
        self.inhabited_predicate(tcx).apply(tcx, typing_env, module)