Generics for Structs and Functions

[IGI-111]

CS-FSSA-018

Users can define generic structs that implement generic functions. For example the following is a valid
Sway program:

script;
struct S<T> {
 x: T,
}
struct M1 {}
impl<T> S<T>
{
 fn bar<M>()
 {
 }
}
fn main() {
 let x = S::<M1>::bar::<M1>();
}

However, if we introduce trait constraints, the compilation fails:

script;
trait MyTrait {
}
struct S<T> {
 x: T,
}
struct M1 {}
impl MyTrait for M1 {
}
impl<T> S<T>
where
 T: MyTrait,
{
 fn bar<M>()
 {
 }
}
fn main() {
 let x = S::<M1>::bar::<M1>();
}