{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ocx.register_bound(cause,"}]}
        ocx.register_bound(cause, param_env, norm_return_ty, term_did);
        let norm_return_ty = ocx.normalize(&cause, param_env, return_ty);
        let errors = ocx.select_all_or_error();