daviddoji/example-code-2e
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

change order of experiments

Browse Source
This commit is contained in:
Luciano Ramalho
2021-05-20 23:21:26 -03:00
parent eb8982f924
commit fc81928f36
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
15-more-types/petbox/petbox_demo.py
View File

@@ -26,22 +26,22 @@ out_box: OutBox[Cat] = OutBox(Cat())
out_box_si: OutBox[Siamese] = OutBox(Siamese()) out_box_si: OutBox[Siamese] = OutBox(Siamese())
out_box = out_box_si
## Incompatible types in assignment ## Incompatible types in assignment
## expression has type "OutBox[Cat]" ## expression has type "OutBox[Cat]"
# variable has type "OutBox[Siamese]" ## variable has type "OutBox[Siamese]"
# out_box_si = out_box # out_box_si = out_box
out_box = out_box_si
################### Contravariance ################### Contravariance
in_box: InBox[Cat] = InBox() in_box: InBox[Cat] = InBox()
in_box_si: InBox[Siamese] = InBox() in_box_si: InBox[Siamese] = InBox()
in_box_si = in_box
## Incompatible types in assignment ## Incompatible types in assignment
## expression has type "InBox[Siamese]" ## expression has type "InBox[Siamese]"
## variable has type "InBox[Cat]" ## variable has type "InBox[Cat]"
# in_box = in_box_si # in_box = in_box_si
in_box_si = in_box