b22a714840
The JIT that runs makepad apps from source: lexer, front end, type checker, lazy borrow checker (Gandalf; `--check-first` opts in), codegen, session and warm/cold caches keyed by compiler stamp, provided crates bound late, startup images, live patching. User-facing name is `makepad run` (binary `makepad`, MAKEPAD_RUN_* env, ~/.makepad-run); libs/relax stays the internal library name. `makepad check` reports rustc-style diagnostics with rustc error codes and checks a whole workspace (`--workspace`). Runs on macOS, Linux, Windows and Android. makepad-remote: one tool schema for apps and the WM (app/1): grabs, captures, traces, frame profiles and tweaks. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
16 lines
390 B
Rust
16 lines
390 B
Rust
// A proved destructor dispatch still has an impl predicate to fulfill.
|
|
use std::cell::Cell;
|
|
|
|
struct OnDrop<F: FnMut()>(F);
|
|
impl<F: FnMut()> Drop for OnDrop<F> {
|
|
fn drop(&mut self) { (self.0)(); }
|
|
}
|
|
|
|
#[test]
|
|
fn destructor_with_callable_predicate() {
|
|
let count = Cell::new(0);
|
|
{
|
|
let _guard = OnDrop(|| count.set(count.get() + 1));
|
|
}
|
|
assert_eq!(count.get(), 1);
|
|
}
|