Generic arguments must be provided in the same order as the corresponding generic parameters are declared.
Erroneous code example:
struct S<'a, T>(&'a T); type X = S<(), 'static>; // error: the type argument is provided before the // lifetime argument
The argument order should be changed to match the parameter declaration order, as in the following.
struct S<'a, T>(&'a T); type X = S<'static, ()>; // ok