// rustfmt-where_trailing_comma: true

fn f<S, T>(x: T, y: S) -> T
    where T: P,
          S: Q,
{
    x
}

impl Trait for T
    where T: P,
{
    fn f(x: T) -> T
        where T: Q + R,
    {
        x
    }
}

struct Pair<S, T>
    where T: P,
          S: P + Q,
{
    a: T,
    b: S,
}

struct TupPair<S, T>(S, T)
    where T: P,
          S: P + Q;

enum E<S, T>
    where S: P,
          T: P,
{
    A { a: T },
}

type Double<T>
    where T: P,
          T: Q = Pair<T, T>;

extern "C" {
    fn f<S, T>(x: T, y: S) -> T
        where T: P,
              S: Q;
}

trait Q<S, T>
    where T: P,
          S: R,
{
    fn f<U, V>(self, x: T, y: S, z: U) -> Self
        where U: P,
              V: P;
}