{"ast_node_type":"import","tokens":[{"end":84,"kind":"keyword","start":0,"text":"use"}]}
use rustc_middle::ty::print::{characteristic_def_id_of_type, with_no_trimmed_paths};
};
use rustc_middle::ty::{self, InstanceKind, TyCtxt};