Merge #424

424: Support Impl items to also be generic r=philberty a=philberty

Handle inherited type arguments for methods
    
MethodCallExpr's support generic arguments so we need to handle adjusting
any inherited type arguments from the receiver and apply them to the func.
    
This changes the handle_substitutions function for ADT, FnType and Params
to be permissive that we can send single arguments to partially substitute
the type such as the case when we inherit arguments in methods calls. This
is safe because the other interfaces enforce the type checking and number
of arguments etc.
    
Fixes #423  #417


Co-authored-by: Philip Herron <philip.herron@embecosm.com>

0 files changed, 0 insertions, 0 deletions