Commit fa950680 authored by Berker Peksag's avatar Berker Peksag

Silence another "default role used" warning in typing.rst

This should make ware-docs green again.
parent c301cbf4
...@@ -86,7 +86,7 @@ but the result will always be of type ``int``. This lets you pass in a ...@@ -86,7 +86,7 @@ but the result will always be of type ``int``. This lets you pass in a
``UserId`` wherever an ``int`` might be expected, but will prevent you from ``UserId`` wherever an ``int`` might be expected, but will prevent you from
accidentally creating a ``UserId`` in an invalid way:: accidentally creating a ``UserId`` in an invalid way::
# `output` is of type `int`, not `UserId` # 'output' is of type 'int', not 'UserId'
output = UserId(23413) + UserId(54341) output = UserId(23413) + UserId(54341)
Note that these checks are enforced only by the static type checker. At runtime Note that these checks are enforced only by the static type checker. At runtime
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment