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>
7 lines
369 B
Rust
7 lines
369 B
Rust
// D7 / front-bck audit 1.5: rustc rejects this (E0310): a rigid projection keeps its type test in
|
|
// borrowck (nll.rs params_in matches Alias(_, Projection)). Checked as a package with
|
|
// `makepad check` (borrowck runs on every body there).
|
|
#![allow(dead_code)]
|
|
trait Tr { type Item; }
|
|
fn need_static<U: 'static>(_: U) {}
|
|
fn bad<T: Tr>(x: T::Item) { need_static(x); }
|