Jonathan Locke
03/02/2023, 1:47 PMAugust Lilleaas
03/02/2023, 1:54 PMJonathan Locke
03/02/2023, 2:27 PMJonathan Locke
03/02/2023, 2:30 PMinterface Addable {
fun add(element: E): Boolean
}
Vampire
03/02/2023, 3:15 PMCollection
then implement that interface?
Or do you only use that to redeclare methods that are already present?
If the latter, then you probably wait for denotable union and intersection types I'd guess.Jonathan Locke
03/02/2023, 7:02 PMJonathan Locke
03/02/2023, 7:11 PMJonathan Locke
03/02/2023, 7:14 PMinterface kotlin.collections.Collection.Addable
(consistent with extension method syntaxVampire
03/02/2023, 7:27 PMtoAddable
or asAddable
or similar that gives you an Addable
wrapper for that type.Jonathan Locke
03/02/2023, 10:12 PMJonathan Locke
03/02/2023, 10:12 PMJonathan Locke
03/02/2023, 10:13 PM