syntax_data: {"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Inserts the cast of an operand (any type) to a u128 value that holds the discriminant value.
context_after: fn insert_discr_cast_to_u128<'tcx>(