Searched defs:pointer_valid (Results 1 – 1 of 1) sorted by relevance
153 let pointer_valid = note_and_explain::RegionExplanation::new( in report_concrete_failure() localVariable204 let pointer_valid = note_and_explain::RegionExplanation::new( in report_concrete_failure() localVariable