Function sort1

crates/kernel/src/check.rs:942–944

()

      .map(|(_, c)| c.clone())
      .ok_or_else(|| {
        TcError::Other("check_eq_type: Eq.refl not found".into())
      })?;
    match refl_c {
      KConst::Ctor {
        is_unsafe,
        lvls,