You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
fnfoo<K>(x:Option<K>)whereOption<K>:Sized{let y = x;}fnmain(){}
dies with a false ambiguity report. The problem is that the builtin bound rules kick and identify that Option<K>: Sized if K: Sized, but there is also a where-clause for that same thing. We should treat builtin-bounds expansions in the same was an explicit impl and resolve in favor of the where-clause.
The text was updated successfully, but these errors were encountered:
The following program:
dies with a false ambiguity report. The problem is that the builtin bound rules kick and identify that
Option<K>: Sized if K: Sized
, but there is also a where-clause for that same thing. We should treat builtin-bounds expansions in the same was an explicit impl and resolve in favor of the where-clause.The text was updated successfully, but these errors were encountered: