{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"Some(ObligationCauseCode::WhereClause(CRATE_DEF_ID.to_def_id(),"}]}
                    Some(ObligationCauseCode::WhereClause(CRATE_DEF_ID.to_def_id(), predicate_span))
                    // uses the span, so this doesn't cause any problems at the moment.
                } else {