{"ast_node_type":"variable","tokens":[{"end":29,"kind":"keyword","start":0,"text":"let"}]}
    let ty = arg.expect_ty();
    let requirement = ValidityRequirement::from_intrinsic(intrinsic_name)?;
    Some(!tcx.check_validity_requirement((requirement, typing_env.as_query_input(ty))).ok()?)