resolve_programmatic()
Result
I think it's always a programming error if `resolve_programmatic()` returns a `Result`, so it shouldn't have to return a `Result`.