Searched defs:ChalkEnvironmentAndGoal (Results 1 – 2 of 2) sorted by relevance
394 pub struct ChalkEnvironmentAndGoal<'tcx> { struct399 impl<'tcx> fmt::Display for ChalkEnvironmentAndGoal<'tcx> { argument
76 impl<'tcx> LowerInto<'tcx, chalk_ir::InEnvironment<chalk_ir::Goal<RustInterner<'tcx>>>>