Auto merge of #153321 - fanninpm:test-crashes-add-high-priority, r=<try>

Add high-priority ICEs to tests/crashes


try-job: x86_64-gnu-nopt
try-job: x86_64-gnu-aux

Author: bors

tests/crashes/146965.rs

@@ -0,0 +1,29 @@
+//@ known-bug: #146965
+//@ compile-flags: --crate-type lib -C opt-level=3 -C embed-bitcode=no -C codegen-units=1 -C strip=debuginfo
+
+fn conjure<T>() -> T {
+    panic!()
+}
+
+pub trait Ring {
+    type Element;
+}
+impl<T> Ring for T {
+    type Element = u16;
+}
+
+// Removing the : Ring bound makes it not ICE
+fn map_coeff<T: Ring>(f: impl Fn(<T as Ring>::Element)) {
+    let c = conjure::<<T as Ring>::Element>();
+    f(c);
+}
+
+// Adding a : Ring bound makes it not ICE
+fn gcd<T>() {
+    map_coeff::<T>(|_: u16| {});
+}
+
+// Removing the : Ring bound makes it not ICE
+pub fn bivariate_factorization<T: Ring>() {
+    gcd::<T>();
+}

tests/crashes/150263.rs

@@ -0,0 +1,21 @@
+//@ known-bug: #150263
+//@ compile-flags: --crate-type lib -C opt-level=3
+
+pub trait Scope {
+    type Timestamp;
+}
+impl<G> Scope for G {
+    type Timestamp = ();
+}
+
+pub fn create<G: Scope>() {
+    enter::<G>();
+}
+
+fn enter<G>() {
+    unary::<G>(|_: <G as Scope>::Timestamp| {});
+}
+
+fn unary<G: Scope>(constructor: impl FnOnce(G::Timestamp)) {
+    constructor(None.unwrap());
+}