diff options
| author | bors <bors@rust-lang.org> | 2014-11-29 21:51:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-11-29 21:51:34 +0000 |
| commit | 8d8f41b75f9bec7c7676122f85e049e7d7933298 (patch) | |
| tree | 366fb96caa5942f085da0d1e08d8e9c36c3e4323 /src/libsyntax/parse | |
| parent | 6163581451a089a8d07bed4dba058677ee4a21f3 (diff) | |
| parent | 004533ea755ecfc5d65e282366aaffc523e9632c (diff) | |
| download | rust-8d8f41b75f9bec7c7676122f85e049e7d7933298.tar.gz rust-8d8f41b75f9bec7c7676122f85e049e7d7933298.zip | |
auto merge of #19392 : murarth/rust/rustc-compile-twice, r=nick29581
Closes #19371
Diffstat (limited to 'src/libsyntax/parse')
| -rw-r--r-- | src/libsyntax/parse/token.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/libsyntax/parse/token.rs b/src/libsyntax/parse/token.rs index 583ace977fe..37df2bf14c2 100644 --- a/src/libsyntax/parse/token.rs +++ b/src/libsyntax/parse/token.rs @@ -564,6 +564,12 @@ pub fn get_ident_interner() -> Rc<IdentInterner> { KEY.with(|k| k.clone()) } +/// Reset the ident interner to its initial state. +pub fn reset_ident_interner() { + let interner = get_ident_interner(); + interner.reset(mk_fresh_ident_interner()); +} + /// Represents a string stored in the task-local interner. Because the /// interner lives for the life of the task, this can be safely treated as an /// immortal string, as long as it never crosses between tasks. |