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