From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 28 Dec 2020 18:15:42 +0000 (+0000)
Subject: rustc panics, probably due to syntax error
X-Git-Tag: otter-0.2.0~111
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=77bbfb10fdb823cacb168564882b4fbe2e7be4cc;p=otter.git

rustc panics, probably due to syntax error

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/wdriver.rs b/wdriver.rs
index 75dbb049..7b2463f1 100644
--- a/wdriver.rs
+++ b/wdriver.rs
@@ -153,24 +153,28 @@ pub trait Subst : Clone + Sized {
   }
 
   #[throws(AE)]
-  fn subst(&self, s: &dyn AsRef<str>) -> String {
-    let s = s.as_ref();
-    let re = Regex::new(r"@(\w+)@").expect("bad re!");
-    let mut errs = vec![];
-    let out = re.replace_all(s, |caps: &regex::Captures| {
-      let kw = caps.get(1).expect("$1 missing!").as_str();
-      if kw == "" { return "".to_owned() }
-      let v = self.get(kw);
-      v.unwrap_or_else(||{
-        errs.push(kw.to_owned());
-        "".to_owned()
-      })
-    });
-    if ! errs.is_empty() {
-      throw!(anyhow!("bad substitution(s) {:?} in {:?}",
-                     &errs, s));
+  fn subst(&self, s: &dyn AsRef<str> -> String {
+    #[throws(AE)]
+    fn inner(self_: &Self, s: &dyn AsRef<str> -> String {
+      let s = s.as_ref();
+      let re = Regex::new(r"@(\w+)@").expect("bad re!");
+      let mut errs = vec![];
+      let out = re.replace_all(s, |caps: &regex::Captures| {
+        let kw = caps.get(1).expect("$1 missing!").as_str();
+        if kw == "" { return "".to_owned() }
+        let v = self.get(kw);
+        v.unwrap_or_else(||{
+          errs.push(kw.to_owned());
+          "".to_owned()
+        })
+      });
+      if ! errs.is_empty() {
+        throw!(anyhow!("bad substitution(s) {:?} in {:?}",
+                       &errs, s));
+      }
+      out.into()
     }
-    out.into()
+    inner(self, s)?
   }
 
   #[throws(AE)]