Closed Bug 1888432 Opened 1 year ago Closed 1 year ago

Missing template specialization for `IsMaybeImpl`

Categories

(Core :: MFBT, defect)

defect

Tracking

()

RESOLVED INVALID

People

(Reporter: farre, Assigned: farre)

References

Details

To be able to do:

Maybe<bool> foo;
foo.andThen([](auto) { return Nothing(); });

we need the following specialization for IsMaybeImpl:

template <>
struct IsMaybeImpl<Nothing> : std::true_type {};
Assignee: nobody → afarre
Status: NEW → ASSIGNED

But that doesn't actually work either, because Nothing isn't actually Maybe.

Summary: Missing template specialization for `IsMaybeImpl → Missing template specialization for `IsMaybeImpl`

Yeah, this will never work. Nothing is too special.

Status: ASSIGNED → RESOLVED
Closed: 1 year ago
Resolution: --- → INVALID
You need to log in before you can comment on or make changes to this bug.