Function with_infer_only_nested_restores

crates/kernel/src/tc.rs:1530–1542

()

  #[test]
  fn tick_consumes_fuel() {
    let mut tc = new_tc();
    tc.rec_fuel = 3;
    assert!(tc.tick().is_ok());
    assert!(tc.tick().is_ok());
    assert!(tc.tick().is_ok());
    match tc.tick() {
      Err(TcError::MaxRecFuel) => {},
      other => panic!("expected MaxRecFuel, got {other:?}"),
    }
  }

  #[test]
  fn tick_exhaustion_at_zero() {
    let mut tc = new_tc();
    tc.rec_fuel = 0;
    match tc.tick() {