/falseNegativeUpperBoundViolated.kt:18:15: error: Type argument is not within its bounds: type parameter 'T (of class Container<T : Element<K>, K : Key>)' must be subtype of 'Element<BetaKey>', but actual: 'Alpha'.

/falseNegativeUpperBoundViolated.kt:19:15: error: Type argument is not within its bounds: type parameter 'T (of class Container<T : Element<K>, K : Key>)' must be subtype of 'Element<String>', but actual: 'Alpha'.

/falseNegativeUpperBoundViolated.kt:19:22: error: Type argument is not within its bounds: type parameter 'K (of class Container<T : Element<K>, K : Key>)' must be subtype of 'Key', but actual: 'String'.

/falseNegativeUpperBoundViolated.kt:21:8: error: Type argument is not within its bounds: type parameter 'T (of class Container<T : Element<K>, K : Key>)' must be subtype of 'Element<BetaKey>', but actual: 'Alpha'.

/falseNegativeUpperBoundViolated.kt:22:8: error: Type argument is not within its bounds: type parameter 'T (of class Container<T : Element<K>, K : Key>)' must be subtype of 'Element<String>', but actual: 'Alpha'.

/falseNegativeUpperBoundViolated.kt:22:15: error: Type argument is not within its bounds: type parameter 'K (of class Container<T : Element<K>, K : Key>)' must be subtype of 'Key', but actual: 'String'.
