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
As @japaric once noted, the current Defaults DSL constructs a "dynamically typed" object which involves some unwrap()-like behaviour in a late stage (those will always succeed, but there's no static guarantee for them).
The text was updated successfully, but these errors were encountered:
As @japaric once noted, the current
Defaults
DSL constructs a "dynamically typed" object which involves someunwrap()
-like behaviour in a late stage (those will always succeed, but there's no static guarantee for them).The text was updated successfully, but these errors were encountered: