{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    DefiningTy::Const(self.mir_def.to_def_id(), args)
                    // FIXME this line creates a dependency between borrowck and typeck.