"Are There Variant Types?" meaning is unclear

[WalkerCodeRanger]

There is a slide:

rust-three-days-course/presentation/chapters/en-US/data-structures.chapter

Lines 71 to 73 in 4a8a1eb

	## Are There Variant Types?
	No, not at the moment!

It isn't clear what this is supposed to mean. Most people think of variant types as tagged union types which is what Rust enums are. This slide needs clarified or there needs to be some guide to the presenter of what this is talking about.

[skade]

Hi, sorry for the late reply.

The problem here is that

impl<T> Foo for Option::Some(T) {
   fn ....
}

(So, that every variant in itself is a type)

doesn't exist. There's multiple proposals for that, but it currently doesn't. Thanks for calling that out, the slide was quickly added after that questions became quite frequent in courses.