I'm concerned about what to do here. I don't know the semantics of how it originally functioned, and `rustc::middle::typeck` has changed since you worked on it, so I'd appreciate a comment.