Closed
Bug 1888432
Opened 1 year ago
Closed 1 year ago
Missing template specialization for `IsMaybeImpl`
Categories
(Core :: MFBT, defect)
Core
MFBT
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 | ||
Updated•1 year ago
|
Assignee: nobody → afarre
Status: NEW → ASSIGNED
Assignee | ||
Comment 1•1 year ago
|
||
But that doesn't actually work either, because Nothing
isn't actually Maybe
.
Assignee | ||
Updated•1 year ago
|
Summary: Missing template specialization for `IsMaybeImpl → Missing template specialization for `IsMaybeImpl`
Assignee | ||
Comment 2•1 year ago
|
||
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.
Description
•