)]}'
{"tvix/eval/src/compiler/scope.rs":[{"author":{"_account_id":1000034,"name":"sterni","email":"sternenseemann@systemli.org","username":"sterni"},"change_message_id":"ca4e72d16eb2032eec6cc99f5818de75ec09050f","unresolved":true,"context_lines":[{"line_number":74,"context_line":"    pub fn is_ignored(\u0026self) -\u003e bool {"},{"line_number":75,"context_line":"        match \u0026self.name {"},{"line_number":76,"context_line":"            LocalName::Ident(name) \u003d\u003e name.starts_with(\u0027_\u0027),"},{"line_number":77,"context_line":"            LocalName::Phantom \u003d\u003e false,"},{"line_number":78,"context_line":"        }"},{"line_number":79,"context_line":"    }"},{"line_number":80,"context_line":"}"}],"source_content_type":"text/x-rustsrc","patch_set":3,"id":"d4f33be4_ce95dd79","line":77,"updated":"2022-09-08 09:36:52.000000000","message":"I guess conceptually phantoms are ignored atm (which in practice works by initialising them as used). We could emit warnings for phantoms/withs if there is no dynamically resolved name below a with.","commit_id":"25c0bd262898731c4cf75def63ed9a9929d647a0"},{"author":{"_account_id":1000001,"name":"tazjin","email":"tazjin@tvl.su","username":"tazjin"},"change_message_id":"3f8856cffcb2c9f08bb7686e274be9c7b8bf7e94","unresolved":false,"context_lines":[{"line_number":74,"context_line":"    pub fn is_ignored(\u0026self) -\u003e bool {"},{"line_number":75,"context_line":"        match \u0026self.name {"},{"line_number":76,"context_line":"            LocalName::Ident(name) \u003d\u003e name.starts_with(\u0027_\u0027),"},{"line_number":77,"context_line":"            LocalName::Phantom \u003d\u003e false,"},{"line_number":78,"context_line":"        }"},{"line_number":79,"context_line":"    }"},{"line_number":80,"context_line":"}"}],"source_content_type":"text/x-rustsrc","patch_set":3,"id":"1ddae677_60d76942","line":77,"in_reply_to":"d4f33be4_ce95dd79","updated":"2022-09-08 13:36:14.000000000","message":"For phantoms this won\u0027t work, as they end up being used a *lot* more slightly further down, but we can probably do something around the time where the with-stack is popped. It\u0027s a good idea idea to warn for useless `with`, I\u0027ll add it to the list.","commit_id":"25c0bd262898731c4cf75def63ed9a9929d647a0"}]}