{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"///"}]}
/// then an `Err` result is returned.
/// their concrete results. If any variable cannot be replaced (never unified, etc)
pub fn fully_resolve<'tcx, T>(infcx: &InferCtxt<'tcx>, value: T) -> FixupResult<T>