{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
/// This is mostly checked at the places that specify the opaque type, but we
///
/// check those cases in the `param_env` of that function, which may have