Function sort0

crates/kernel/src/check.rs:939–941

()

      .env
      .iter()
      .find(|(id, _)| id.addr == self.prims.eq_refl.addr)
      .map(|(_, c)| c.clone())
      .ok_or_else(|| {
        TcError::Other("check_eq_type: Eq.refl not found".into())
      })?;
    match refl_c {