Should as keyword be allowed cast option types?

[impopular-guy]

1.  a := ?int(none)
    y := a as int
    println(y)

   This prints 0, which is incorrect, 0 != none. Apart from none, any other value works.

2.  a := ?int(none) // ?int(3)
    y := a?
    println(y)

   current: builder error for both ?int(none) and ?int(3)
   expected: to get 3 or panic: option not set which is the error message we get in case of functions returning Option(none).

3.  w := func_ok() as int
    println(w)
   
    fn func_ok() ?int {
        return 2
    }

   current: builder error: cannot convert 'struct _option_int' to 'int'

Question:
For points 1 and 3, I though as syntax was for sum-types, import alias and enum Name as u8 only. Seems like it violates one-way rule.

[JalonSolov]

Why enter this as a discussion, rather than issues?

[impopular-guy]

The bug should be an issue, but I was trying to understand about as keyword syntax, whether points 1 and 3 be allowed or not, etc, which I felt was more of a discussion.
I will create an issue right away if needed. :)

Also, originally i only had point 1 with me, where it felt more like a syntax problem, so though of it as a discussion

[JalonSolov]

Ok, if you wouldn't mind, please enter #2 as an issue, and rename the discussion. It would be better to have those as questions, rather than just saying "Multiple errors"... perhaps "Should as be allowed"...

[impopular-guy]

done #17576 :)