Lkulinsk

Avatar
  • 活动总数 2
  • 最后的活动
  • 成员加入日期
  • 关注 0 名用户
  • 关注者数 0 名用户
  • 投票数 0
  • 订阅数 1
  • Lkulinsk 创建了一个帖子,
    已回答

    @NullMarked with record constructor validation bug?

    HelloIs this a bug? I intend to use NullMarked to tell users of this class that the fields are non-null, but I want to do validation in the constructor. When i do that it says the condition is alwa...