makepad/libs/relax/compiler/tests/glob_cycle_traits.rs
Admin b22a714840 makepad run: the Rust JIT (libs/relax) and makepad-remote
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>
2026-10-13 12:26:21 +02:00

48 lines
1.6 KiB
Rust

// Traits in scope through a glob whose target was first reached inside a glob cycle in the same
// walk: `rr_prelude` (`pub use super::*` of `core_root`) is reached while `core_root` is still being
// walked (core_root -> adaptive -> rr_prelude -> core_root), where it can only contribute an empty
// set; that partial set must not stand for the later visit from `lib_rr`, whose method call needs
// the trait `Bump` through `rr_prelude`. rustc resolves `p.bump()`.
pub mod core_root {
pub mod view {
pub struct View { pub x: u32 }
pub trait Bump { fn bump(&mut self); }
impl Bump for View { fn bump(&mut self) { self.x += 1; } }
}
pub mod adaptive {
#[allow(unused_imports)]
use crate::core_root::rr_prelude::*;
pub fn adaptive() -> u32 { 2 }
}
pub use self::adaptive::*;
pub use self::view::*;
pub mod rr_prelude {
pub use super::*;
}
}
pub mod editor {
pub mod runtime_view {
#[allow(unused_imports)]
use crate::core_root::*;
pub fn runtime() -> u32 { 3 }
}
#[allow(unused_imports)]
use self::runtime_view::*;
pub use crate::core_root::rr_prelude;
pub mod lib_rr {
#[allow(unused_imports)]
use super::*;
#[allow(unused_imports)]
use crate::editor::rr_prelude::*;
pub fn panel(p: &mut View) { p.bump(); }
}
pub use self::lib_rr::*;
}
#[test]
fn glob_cycle_traits() {
let mut v = core_root::View { x: 1 };
editor::panel(&mut v);
assert_eq!(v.x + core_root::adaptive() + editor::runtime_view::runtime(), 7);
}