Bug: ResultFromSyntaxAndContext is dropped when obtaining result