// RUN: %exits-with 2 %verify "%s" > "%t"
// RUN: %diff "%s.expect" "%t"

module E {
  module SubE {
    export SubE provides T
    export A reveals TT
    type T = bool
    type TT = int
  }

  import SubEA = SubE`A

  method Test() {
    var g : SubE.TT; // error
    var gg : SubEA.TT;
    var e : SubE.T;
    var f := e == false; // error
    var gtest := gg == 1;

  }

}
