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>
20 lines
993 B
Rust
20 lines
993 B
Rust
// Mail (apps/mail/src/engine.rs:318): a closure calling a captured opaque callable (`impl Fn(&Message) -> bool + '_`)
|
|
// inside `.filter(..)`. rustc accepts; the tip failed with "capture analysis incomplete: unresolved call-trait adjustment".
|
|
// N01 resolves the opaque callee through the native Fn-family selection before capture analysis.
|
|
struct Message { unread: bool }
|
|
|
|
fn mailbox_predicate(messages: &[Message]) -> impl Fn(&Message) -> bool + '_ {
|
|
let nonempty = !messages.is_empty();
|
|
move |_message: &Message| nonempty
|
|
}
|
|
|
|
fn mailbox_messages(messages: &[Message], unread_only: bool) -> usize {
|
|
let pred = mailbox_predicate(messages);
|
|
messages.iter().filter(|m| pred(m) && (!unread_only || m.unread)).count()
|
|
}
|
|
|
|
#[test]
|
|
fn opaque_callable_captured_by_filter_closure() {
|
|
assert_eq!(mailbox_messages(&[Message { unread: true }, Message { unread: false }], true), 1);
|
|
assert_eq!(mailbox_messages(&[Message { unread: true }, Message { unread: false }], false), 2);
|
|
}
|