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>
14 lines
591 B
Rust
14 lines
591 B
Rust
// rustc_middle/src/ty/normalize_erasing_regions.rs:140-149; codegen opens
|
|
// the item's region binder and preserves any nested function binders.
|
|
trait Get<'b> { type Out; }
|
|
impl<'a, 'b> Get<'b> for &'a u32 { type Out = (); }
|
|
fn projected<'a, 'b>(_x: &'a u32, _y: <&'a u32 as Get<'b>>::Out) {}
|
|
#[test]
|
|
fn codegen_normalizes_bound_signature_payload() { projected(&0, ()); }
|
|
#[test]
|
|
fn generic_pattern_return_projection() {
|
|
let mut iter = "a=b=c".match_indices('=');
|
|
assert_eq!(iter.next(),Some((1,"=")));
|
|
assert_eq!(iter.next(),Some((3,"=")));
|
|
assert_eq!(iter.next(),None);
|
|
}
|