{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
/// function for details.
/// Implements the 'lax' (default) version of the [`check_validity_requirement`] checks; see that
fn check_validity_requirement_lax<'tcx>(