message: Reduce some indentation
diff: @@ -199,11 +199,14 @@ impl Desugar<raw::Module> for concrete::Module {
  /// Convert the module in the concrete syntax to a module in the core syntax
  fn desugar(&self, env: &DesugarEnv) -> raw::Module {
  let mut env = env.clone();
  - match *self {
  + let (name, items) = match *self {
  concrete::Module::Valid {
  ref name,
  ref items,
  - } => {
  + } => (name, items),
  + concrete::Module::Error(_) => unimplemented!("error recovery"),
  + };
  +
  // The type claims that we have encountered so far! We'll use these when
  // we encounter their corresponding definitions later as type annotations
  let mut prev_claim = None::<(&str, raw::RcTerm)>;
  @@ -216,6 +219,7 @@ impl Desugar<raw::Module> for concrete::Module {
  concrete::Item::Claim {
  name: (_, ref name),
  ref ann,
  + ..
  } => match prev_claim.take() {
  Some((claim_name, ann)) => {
  let claim_free_var = env.on_binding(claim_name);
  @@ -277,9 +281,6 @@ impl Desugar<raw::Module> for concrete::Module {
  name: name.1.clone(),
  definitions: Nest::new(definitions),
  }
  - },
  - concrete::Module::Error(_) => unimplemented!("error recovery"),
  - }
  }
  }
  