syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"ty::Char"}]}
source_snippet:             ty::Char => (0, std::char::MAX as u128),
context_before:             }
context_after:             ty::Float(ty::FloatTy::F16) => ((-Half::INFINITY).to_bits(), Half::INFINITY.to_bits()),