You don't have to give `A` if it can be inferred from an argument.
    
    
    proc downcast*[B](this: Handle[auto] ): Handle[B] {...}
    
    
    Run

Reply via email to