{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// Creates an instantiation S for the canonical value with fresh inference
impl<'tcx> InferCtxt<'tcx> {
    /// variables and placeholders then applies it to the canonical value.