Opened 6 months ago

#13469 new feature request

-fdefer-type-errors for Backpack

Reported by: ezyang Owned by:
Priority: normal Milestone:
Component: Compiler Version: 8.1
Keywords: backpack Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

It would be great if -fdefer-type-errors worked with Backpack. There are two senses in which it could work:

  1. When matching signatures, if the instantiating module didn't provide a required function, we could just create one out of thin air so we can continue building.
  1. When matching signature, if the implementation doesn't match the signature, we instead create a deferred type error.

(2) is more difficult because it basically requires us to solve #12703.

Change History (0)

Note: See TracTickets for help on using tickets.