Skip to content
  • Richard Eisenberg's avatar
    Fix #11711. · b5565f1a
    Richard Eisenberg authored
    There were two bugs here, both simple: we need to filter out
    covars before calling isMetaTyVar in the solver, and TcPat had
    a tcSubType the wrong way round.
    
    test case: dependent/should_compile/T11711
    b5565f1a