// RUN: %target-parse-verify-swift

// Simple enumeration type
enum E1 {
  case First
  case Second(Int)
  case Third(Int, Double)
}

var e1: E1 = .First
e1 = .Second(5)
e1 = .Third(5, 3.14159)

// Generic enumeration type
enum E2<T> {
  case First
  case Second(T)
}

var e2a: E2<Int> = .First
e2a = .Second(5)
var e2b: E2 = .Second(5)
e2b = .First
var e2c: E2 = .First // expected-error{{generic parameter 'T' could not be inferred}}