slyubomirsky commented on issue #4881: [WIP] Fixing an Infinite Loop case in UnmatchedChecker. URL: https://github.com/apache/incubator-tvm/pull/4881#issuecomment-586429594 Excellent catch, thank you for finding a repro. As we privately discussed, this appears to be a problem in expanding the wildcards: there is a line that potentially erases information from candidates, violating the invariant that expanded candidates should always be larger than the original ones. This should essentially require a one-line change in ExpandWildcards (I will let you get to it)
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
