Method with_infer_only

crates/kernel/src/tc.rs:945–951

Run a closure with `infer_only` mode enabled. Restores the previous mode on exit. In this mode, `infer` skips def-eq checks for App arg types and Let value types — it only synthesizes the type.

(&mut self, f: impl FnOnce(&mut Self) -> R)

    if self.env.profile_sink.is_some() {
      self.delta_targets.insert(id.addr.clone());
    }
  }

  // -----------------------------------------------------------------------
  // Infer-only mode
  // -----------------------------------------------------------------------

  /// Run a closure with `infer_only` mode enabled. Restores the previous
  /// mode on exit. In this mode, `infer` skips def-eq checks for App arg
  /// types and Let value types — it only synthesizes the type.