Function check_validity_requirement 

fn check_validity_requirement<'tcx>() -> Result<bool, &'tcx LayoutError<'tcx>>