syntax_data: {"ast_node_type":"import","tokens":[{"end":53,"kind":"keyword","start":0,"text":"use"}]}
source_snippet: use crate::{Canonical, CanonicalVarValues, Interner};
context_before: use crate::solve::{CandidateSource, Certainty, Goal, GoalSource, QueryResult};