{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"location.to_locations(),"}]}
                                location.to_locations(),
                                ty::ClauseKind::WellFormed(src_ty.into()),
                                ConstraintCategory::Cast { is_implicit_coercion, unsize_to: None },