def <warning descr="Types specified both in a type comment and annotation">b<caret>ar</warning>(a: int) -> int:
    <warning descr="Types specified both in a type comment and annotation"># type: (int) -> int</warning>
    pass