{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
    /// Try to evaluate an instance into a constant.
    fn eval_instance(&self, def: InstanceDef, const_ty: Ty) -> Result<Allocation, Error>;