fn check_no_patterns(tcx: TyCtxt<'_>, params: &[Param<'_>])
Checks that parameters don’t use patterns. Mirrors the checks for function declarations.