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>
42 lines
1.3 KiB
Rust
42 lines
1.3 KiB
Rust
// rustc_middle/src/ty/instance.rs:955-992: instantiate before normalizing.
|
|
trait Source { type Item; }
|
|
struct A;
|
|
struct B;
|
|
impl Source for A { type Item = u32; }
|
|
impl Source for B { type Item = u64; }
|
|
#[inline(never)]
|
|
fn wrap<T: Source>(x: T::Item) -> Option<T::Item> { Some(x) }
|
|
#[test]
|
|
fn rigid_projection_in_generic_body() {
|
|
assert_eq!(wrap::<A>(7), Some(7u32));
|
|
assert_eq!(wrap::<B>(11), Some(11u64));
|
|
}
|
|
|
|
#[inline(never)]
|
|
fn slice_part<I: std::slice::SliceIndex<[u8]>>(s: &mut [u8], i: I) -> &mut I::Output {
|
|
&mut s[i]
|
|
}
|
|
#[test]
|
|
fn projected_index_preserves_slice_metadata() {
|
|
let mut bytes = [1, 2, 3, 4];
|
|
let part = slice_part(&mut bytes, 1..3);
|
|
assert_eq!(part.len(), 2);
|
|
part[1] = 9;
|
|
assert_eq!(bytes[2], 9);
|
|
}
|
|
|
|
#[inline(never)]
|
|
fn generic_assign<T: std::ops::AddAssign<T>>(values: &mut [T], rhs: T, order: &std::cell::Cell<u8>) {
|
|
values[{ order.set(1); 0 }] += { assert_eq!(order.get(), 1); rhs };
|
|
}
|
|
|
|
#[test]
|
|
fn generic_compound_assignment_keeps_declared_evaluation_order() {
|
|
let order = std::cell::Cell::new(0);
|
|
let mut values = [1u32];
|
|
generic_assign(&mut values, 2, &order);
|
|
assert_eq!(values[0], 3);
|
|
order.set(0);
|
|
values[{ order.set(1); 0 }] += { assert_eq!(order.get(), 0); 4 };
|
|
assert_eq!(values[0], 7);
|
|
}
|