Lucian Radu Teodorescu

Cannot take address of empty objects

2

Please see the following code: ```hylo type Empty: Regular { public init() {} } type Outer: Regular { public var empty: Empty public var dummy: Int public init() { &self.empty...

Type cannot be `Movable` without `Deinitializable`

4

The following code: ``` public type MyType: Movable {} ``` produces an error: ``` Sources/IR/Module.swift:471: Assertion failed: unexpected diagnostic in synthesized declaration ``` Making `MyType` also conform to `Deinitializable` would...

Taking a copy in a lambda leads to error if the variable is modified later

1

Please see: ``` fun do_something(_ f: inout [E]() inout -> Void) { let _ = f } public fun main() { var x: Int = 0 let count = 10...

NOT IMPLEMENTED: Cannot extend a generic type, specializing on an associated type

1

Please see the following code: ```hylo trait T { type Representation } type A { var value: Value.Representation } extension A where Value.Representation: Movable {} ``` The code fails to...