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>
13 lines
437 B
Rust
13 lines
437 B
Rust
use std::ops::{Neg, Not};
|
|
struct S(i32);
|
|
impl Neg for S { type Output = i32; fn neg(self) -> i32 { -self.0 } }
|
|
impl Not for S { type Output = bool; fn not(self) -> bool { self.0 == 0 } }
|
|
fn generic<T: Neg<Output = i32>>(x: T) -> i32 { -x }
|
|
#[test] fn unary_types() {
|
|
assert_eq!(-3i32, -3);
|
|
assert_eq!(-&3i32, -3);
|
|
assert_eq!(!&false, true);
|
|
assert_eq!(!0u8, 255);
|
|
assert_eq!(generic(S(3)), -3);
|
|
assert!(!S(0));
|
|
}
|