Skip to content

Commit 8cb4419

Browse files
Remove joke
When you're trying to understand something, jokes are never funny
1 parent 61f7ee9 commit 8cb4419

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

_tour/variances.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ Why could this be a problem? We can get the cat from the box, and it's still an
5656
mayAnimalBox.content = Dog("fido")
5757
```
5858

59-
There now is a Dog in the Animal box. That's all fine, you can put Dogs in Animal boxes, because Dogs are Animals. But our Animal Box is a Cat Box! You can't put a Dog in a Cat box. Doing so would not only be unpleasant for the dog, if we try to get the cat from our catbox, it would turn out to be a dog, breaking type soundness
59+
There now is a Dog in the Animal box. That's all fine, you can put Dogs in Animal boxes, because Dogs are Animals. But our Animal Box is a Cat Box! You can't put a Dog in a Cat box. If we could, and then try to get the cat from our catbox, it would turn out to be a dog, breaking type soundness.
6060

6161
```scala
6262
val myCat: Cat = myCatBox.content //myCat would be fido the dog!

0 commit comments

Comments
 (0)