this will not fail in this case, Resolver::Resolver() throws an exception instead