Function infer_app_of_non_function_errors

crates/kernel/src/infer.rs:849–859

()

        .push(outer_id, LocalDecl::CDecl { name: (), bi: (), ty: sort0() });
      let saved = tc.lctx.len();

      assert!(tc.infer(&expr).is_err(), "{kind} body must fail");
      assert_eq!(
        tc.lctx.len(),
        saved,
        "{kind} inference leaked a binder local after error"
      );
      assert!(
        tc.lctx.find(outer_id).is_some(),
        "{kind} inference damaged the enclosing local context"
      );
    }
  }