Union of Unknown types should be Unknown

    try {

    } catch (Unknown1| Unknown2 e) {
      // e.symbolType() is Object, incorrect
    } catch (Unknown1| IllegalArgumentException e) {
      // e.symbolType() is Object, incorrect
    } catch (IOException| IllegalArgumentException e) {
      // e.symbolType() is Exception, correct
    }