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>
35 lines
1.1 KiB
Rust
35 lines
1.1 KiB
Rust
// rustc_hir_analysis/collect/resolve_bound_vars.rs @8d1a764: declaration
|
|
// capture sets, nested opaques, and default/overridden RPITIT bodies.
|
|
fn uncaptured<'a>(_: &'a u8) -> impl Copy + use<> { 7u8 }
|
|
fn nested<'a>(x: &'a u8) -> impl Iterator<Item = impl Copy + 'a> + 'a {
|
|
std::iter::once(x)
|
|
}
|
|
trait Source<'a> {
|
|
fn get<'b, T: 'b>(&'b self, x: &'b T) -> impl Copy + use<'a, 'b, Self, T> { x }
|
|
}
|
|
struct DefaultSource;
|
|
impl<'a> Source<'a> for DefaultSource {}
|
|
struct OverrideSource;
|
|
impl<'a> Source<'a> for OverrideSource {
|
|
fn get<'b, T: 'b>(&'b self, x: &'b T) -> impl Copy + use<'a, 'b, T> { x }
|
|
}
|
|
fn copy_value<T: Copy>(value: T) { let _ = (value, value); }
|
|
#[test]
|
|
fn precise_capture_does_not_retain_input_borrow() {
|
|
let result;
|
|
{ let local = 3; result = uncaptured(&local); }
|
|
copy_value(result);
|
|
}
|
|
#[test]
|
|
fn nested_opaque_capture() {
|
|
let value = 11;
|
|
let mut values = nested(&value);
|
|
copy_value(values.next().unwrap());
|
|
assert!(values.next().is_none());
|
|
}
|
|
#[test]
|
|
fn default_and_override_rpitit() {
|
|
let value = 5u32;
|
|
copy_value(DefaultSource.get(&value));
|
|
copy_value(OverrideSource.get(&value));
|
|
}
|