{"ast_node_type":"function","tokens":[{"end":94,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn types(cause: &ObligationCause<'tcx>, a: Ty<'tcx>, b: Ty<'tcx>) -> TypeTrace<'tcx> {
        TypeTrace {