Enum Type

[kgtkr]

example

let x:Option::Some<i32>=Some(1);

pub struct A<T:Option<i32>>{
  x:T
}

impl A<Some<i32>>{
  pub fn get_x(&self)->i32{
    let Some<x>=self.x;
    x
  }
}

[Centril]

From this example, this seems to me some sort of lifting of enums into traits and their variants into types.

It is an interesting idea, but it is better discussed over at internals.rust-lang.org which is more actively looked at. This repository should mainly be used to file full RFCs according to the template as PRs. The issues filed here are not actively looked at by the teams.

[petrochenkov]

This is a duplicate of RFC 1450 "Types for enum variants", so I'm going to close it in favor of #2347.

[petrochenkov]

@Centril

The issues filed here are not actively looked at by the teams.

Hey, you are from teams, I'm from teams and we are actively looking at issues in this repo!

[Centril]

@petrochenkov yes yes 😆 , I was referring to:

You may file issues on this repo for discussion, but these are not actively looked at by the teams.

https://github.com/rust-lang/rfcs/blob/master/README.md#before-creating-an-rfc

[kgtkr]

OK&Sorry