tree e0bd166fc6272bd48a567d54cc6fb8bd25fe4d61
parent 76d4bfb1c62e6e0a6fc64ceaa39472b0790419c7
parent 7faa879486f6aa2871634b54cef3f886591ef323
author León Orell Valerian Liehr <me@fmease.dev> 1716397484 +0200
committer GitHub <noreply@github.com> 1716397484 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmTiWsCRC1aQ7uu5UhlAAAMycQAA5zXUGYNIL4AHAmDZt5Gm60
 GzfvXiwwAA7wkMMX6mPRDakxfRTyqfJGlnisPT4Ks6EvJdbxCPD1yOXacZqOc4VU
 c13LEHY+mJj12GIGz0LyvicczIiqA/LhRh84eeDw6+33AWpJmKWxj1LiBZqAFnVG
 CWtsrS6QEPp4I2947rdz69qB4h5ZvWBvmqs2X5AJhUTf3ea0rxEW8sw+ZjgTao7A
 pGELklNbRhWBHnwdMEH/6edU11sOJXmn5heaHe+elAzuQjDQZ7cPxOXdMh/6zO75
 r9CovPLMP5RBxTevWt+K5y1O0Q1at37kHX4ov5LvX82DiTR9b4peLVdSnpEo9BYT
 NQ7rQG1DHAawDAdo0YibNpiCUApoan/k6d33v3ummSQA0rY/HLTEMOqXI4NW1dM4
 1tmoTnyXkRNkDIAPjfrWUsODEDsq+Rt3Bt+mWxkMe8elouhbp8ypPdfcZnlWdzrU
 3Hqyl7N1JRELT9KnyZPukLp4SEWTgQSCWzMSGC2/WIBLm5vZF770GsiGziCeQ3wm
 7mkrY6ft7QMU/hddyRymFK/Y1EjfLXVig27xXihqY6Ew9u73whQb1pna9DWoL8KO
 hjYllkCL7CHSSl4VV9RICpO01zCe+6Eq3fOoYoXrW8lrEMIrxZOd37WAfwPWsWO2
 PSJ0uyOCMoPXy6mi6L+7
 =gSUB
 -----END PGP SIGNATURE-----
 

Rollup merge of #125015 - fmease:pat-tys-proh-gen-args-on-ct-params, r=spastorino

Pattern types: Prohibit generic args on const params

Addresses https://github.com/rust-lang/rust/pull/123689/files#r1562676629.

NB: Technically speaking, *not* prohibiting generics args on const params is not a bug as `pattern_types` is an *internal* feature and as such any uncaught misuses of it are considered to be the fault of the user. However, permitting this makes me slightly uncomfortable esp. since we might want to make pattern types available to the public at some point and I don't want this oversight to be able to slip into the language (for comparison, ICEs triggered by the use of internal features are like super fine).

Furthermore, this is an ad hoc fix. A more general fix would be changing the representation of the pattern part of pattern types in such a way that it can reuse preexisting lowering routines for exprs / anon consts. See also this [Zulip discussion](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/pattern.20type.20HIR.20nodes/near/432410768) and #124650.

Also note that we currently don't properly typeck the pattern of pat tys. This however is out of scope for this PR.

cc ``@oli-obk``
r? ``@spastorino`` as discussed