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>
10 lines
380 B
Rust
10 lines
380 B
Rust
// rustc_hir_analysis/src/check/compare_impl_item.rs:2320-2757.
|
|
trait Mark { fn value() -> u32 { 8 } }
|
|
struct Member<T>(T);
|
|
impl<T> Mark for Member<T> {}
|
|
trait Family { type Item<T>: Mark; }
|
|
struct Good;
|
|
impl Family for Good { type Item<T> = Member<T>; }
|
|
fn get<T: Family>() -> u32 { <T::Item<()> as Mark>::value() }
|
|
#[test]
|
|
fn gat_item_bounds() { assert_eq!(get::<Good>(), 8); }
|