MCPcopy Create free account
hub / github.com/Rust-for-Linux/klint / drop

Method drop

src/ctxt.rs:114–116  ·  view source on GitHub ↗
(&mut self)

Source from the content-addressed store, hash-verified

112
113impl Drop for AnalysisCtxt<'_> {
114 fn drop(&mut self) {
115 self.local_conn.lock().execute("commit", ()).unwrap();
116 }
117}
118
119impl<'tcx> AnalysisCtxt<'tcx> {

Callers

nothing calls this directly

Calls 2

unwrapMethod · 0.80
lockMethod · 0.45

Tested by

no test coverage detected