Merge pull request #1065 from BGR360/issue-92054

Add some ICEs

Author: Alexendoo

ices/91380.sh

@@ -0,0 +1,40 @@
+#!/bin/bash
+
+cat > foo.rs << 'EOF'
+pub trait Module {
+    type Algebra;
+}
+
+pub trait ChainComplex {
+    type Algebra;
+    type Module: Module;
+}
+
+pub struct FreeModule<A> {
+    foo: A,
+}
+
+impl<A> Module for FreeModule<A> {
+    type Algebra = A;
+}
+
+pub trait FreeChainComplex:
+    ChainComplex<Module = FreeModule<<Self as ChainComplex>::Algebra>>
+{
+}
+
+pub struct ResolutionHomomorphism<CC2>
+where
+    CC2: ChainComplex,
+{
+    maps: CC2::Module,
+}
+
+pub struct SecondaryResolutionHomomorphism<
+    CC2: FreeChainComplex<Algebra = usize>,
+> {
+    underlying: ResolutionHomomorphism<CC2>,
+}
+EOF
+
+rustdoc foo.rs

ices/92054-1.rs

@@ -0,0 +1,9 @@
+#![feature(allocator_api)]
+
+use std::alloc::{Allocator, Global, Layout};
+
+fn main() {
+    let layout: Layout = None.unwrap();
+    let ptr: *mut u8 = Global.allocate(layout).unwrap().as_ptr() as _;
+    let box_ = unsafe { Box::from_raw_in(ptr, &Global) };
+}

ices/92054-2.rs

@@ -0,0 +1,11 @@
+#![feature(allocator_api)]
+
+use std::alloc::{Allocator, Global, Layout};
+
+fn main() {
+    let layout: Layout = None.unwrap();
+    let ptr: *mut u8 = Global.allocate(layout).unwrap().as_ptr() as _;
+    let slice: &mut [u8] = unsafe { std::slice::from_raw_parts_mut(ptr, 0) };
+    let box_ = unsafe { Box::from_raw_in(slice, &Global) };
+    box_.len();
+}