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>
46 lines
1 KiB
Rust
46 lines
1 KiB
Rust
// 3.9 / 7.3: `impl Display for Foo` is removed while the stored Box<dyn Display> lives (no coercion
|
|
// remains in the source): the stored box keeps working through its frozen vtable.
|
|
use std::cell::RefCell;
|
|
use std::fmt::Display;
|
|
|
|
struct Foo(u32);
|
|
|
|
trait Named {
|
|
fn name(&self) -> String {
|
|
"trait".to_string()
|
|
}
|
|
}
|
|
impl Named for Foo {}
|
|
impl Foo {
|
|
fn name(&self) -> String {
|
|
"inherent".to_string()
|
|
}
|
|
}
|
|
impl std::fmt::Display for Foo {
|
|
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
|
|
write!(f, "foo{}", self.0)
|
|
}
|
|
}
|
|
|
|
fn caller(f: &Foo) -> String {
|
|
f.name()
|
|
}
|
|
|
|
thread_local! {
|
|
static SHOWN: RefCell<Option<Box<dyn Display>>> = RefCell::new(None);
|
|
}
|
|
|
|
fn store() {
|
|
SHOWN.with(|s| {
|
|
if s.borrow().is_none() {
|
|
*s.borrow_mut() = Some(Box::new(Foo(9)));
|
|
}
|
|
});
|
|
}
|
|
|
|
#[test]
|
|
fn run() {
|
|
store();
|
|
let shown = SHOWN.with(|s| s.borrow().as_ref().map(|d| d.to_string()).unwrap_or_default());
|
|
println!("out {} [{}]", caller(&Foo(1)), shown);
|
|
}
|