{"header":{"message":"Add tests for downcasting context\n","description":null,"timestamp":"2019-10-28T02:02:49Z","authors":[{"email":"dtolnay@gmail.com","name":"David Tolnay"}]},"hash":"DAFQ2ZKJ5PUWBADTJ7O2FRVHQNYC7UCHX4IYXYCJQ3PFSBONAV6QC","authors":[],"deps":{"hashes":[["DAFQ2ZKJ5PUWBADTJ7O2FRVHQNYC7UCHX4IYXYCJQ3PFSBONAV6QC","Add tests for downcasting context\n"],["AA",null],["HSOG2FYBIHDIMTG2YARL57AIHOOSG2P7ZXQTE6ZN7PRNEO22VRQQC","Add test demonstrating context inference failure\n"]],"deps":["HSOG2FYBIHDIMTG2YARL57AIHOOSG2P7ZXQTE6ZN7PRNEO22VRQQC"],"known":[]},"hunks":[{"Replacement":{"inode":{"change":2,"pos":18},"path":"tests/test_context.rs","line":1,"ins":{"up_context":[{"change":2,"pos":18}],"down_context":[{"change":2,"pos":50}],"flag":"BLOCK","start":0,"end":139,"inode":{"change":2,"pos":18}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":18},"to":{"change":2,"start":19,"end":50},"introduced_by":2}],"inode":{"change":2,"pos":18}},"ins_contents":[{"Add":"mod drop;"},{"Add":""},{"Add":"use crate::drop::{DetectDrop, Flag};"},{"Add":"use anyhow::{Context, Error, Result};"},{"Add":"use std::fmt::{self, Display};"},{"Add":"use thiserror::Error;"}],"del_contents":[{"Del":"use anyhow::{Context, Result};\n"}]}},{"Edit":{"inode":{"change":2,"pos":18},"path":"tests/test_context.rs","line":15,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":236}],"down_context":[{"change":2,"pos":236}],"flag":"BLOCK","start":140,"end":725,"inode":{"change":2,"pos":18}}},"contents":[{"Add":"}"},{"Add":""},{"Add":"macro_rules! context_type {"},{"Add":" ($name:ident) => {"},{"Add":" #[derive(Debug)]"},{"Add":" struct $name {"},{"Add":" message: &'static str,"},{"Add":" drop: DetectDrop,"},{"Add":" }"},{"Add":""},{"Add":" impl Display for $name {"},{"Add":" fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {"},{"Add":" f.write_str(self.message)"},{"Add":" }"},{"Add":" }"},{"Add":" };"},{"Add":"}"},{"Add":""},{"Add":"context_type!(HighLevel);"},{"Add":"context_type!(MidLevel);"},{"Add":""},{"Add":"#[derive(Error, Debug)]"},{"Add":"#[error(\"{message}\")]"},{"Add":"struct LowLevel {"},{"Add":" message: &'static str,"},{"Add":" drop: DetectDrop,"},{"Add":"}"},{"Add":""},{"Add":"struct Dropped {"},{"Add":" low: Flag,"},{"Add":" mid: Flag,"},{"Add":" high: Flag,"}]}},{"Edit":{"inode":{"change":2,"pos":18},"path":"tests/test_context.rs","line":48,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":238}],"down_context":[],"flag":"BLOCK","start":726,"end":3389,"inode":{"change":2,"pos":18}}},"contents":[{"Add":""},{"Add":"impl Dropped {"},{"Add":" fn none(&self) -> bool {"},{"Add":" !self.low.get() && !self.mid.get() && !self.high.get()"},{"Add":" }"},{"Add":""},{"Add":" fn all(&self) -> bool {"},{"Add":" self.low.get() && self.mid.get() && self.high.get()"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"fn make_chain() -> (Error, Dropped) {"},{"Add":" let dropped = Dropped {"},{"Add":" low: Flag::new(),"},{"Add":" mid: Flag::new(),"},{"Add":" high: Flag::new(),"},{"Add":" };"},{"Add":""},{"Add":" let low = LowLevel {"},{"Add":" message: \"no such file or directory\","},{"Add":" drop: DetectDrop::new(&dropped.low),"},{"Add":" };"},{"Add":""},{"Add":" // impl Context for Result"},{"Add":" let mid = Err::<(), LowLevel>(low)"},{"Add":" .context(MidLevel {"},{"Add":" message: \"failed to load config\","},{"Add":" drop: DetectDrop::new(&dropped.mid),"},{"Add":" })"},{"Add":" .unwrap_err();"},{"Add":""},{"Add":" // impl Context for Result"},{"Add":" let high = Err::<(), Error>(mid)"},{"Add":" .context(HighLevel {"},{"Add":" message: \"failed to start server\","},{"Add":" drop: DetectDrop::new(&dropped.high),"},{"Add":" })"},{"Add":" .unwrap_err();"},{"Add":""},{"Add":" (high, dropped)"},{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"fn test_downcast_ref() {"},{"Add":" let (err, dropped) = make_chain();"},{"Add":""},{"Add":" assert!(!err.is::());"},{"Add":" assert!(err.downcast_ref::().is_none());"},{"Add":""},{"Add":" assert!(err.is::());"},{"Add":" let high = err.downcast_ref::().unwrap();"},{"Add":" assert_eq!(high.to_string(), \"failed to start server\");"},{"Add":""},{"Add":" assert!(err.is::());"},{"Add":" let mid = err.downcast_ref::().unwrap();"},{"Add":" assert_eq!(mid.to_string(), \"failed to load config\");"},{"Add":""},{"Add":" assert!(err.is::());"},{"Add":" let low = err.downcast_ref::().unwrap();"},{"Add":" assert_eq!(low.to_string(), \"no such file or directory\");"},{"Add":""},{"Add":" assert!(dropped.none());"},{"Add":" drop(err);"},{"Add":" assert!(dropped.all());"},{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"fn test_downcast_high() {"},{"Add":" let (err, dropped) = make_chain();"},{"Add":""},{"Add":" let err = err.downcast::().unwrap();"},{"Add":" assert!(!dropped.high.get());"},{"Add":" assert!(dropped.low.get() && dropped.mid.get());"},{"Add":""},{"Add":" drop(err);"},{"Add":" assert!(dropped.all());"},{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"fn test_downcast_mid() {"},{"Add":" let (err, dropped) = make_chain();"},{"Add":""},{"Add":" let err = err.downcast::().unwrap();"},{"Add":" assert!(!dropped.mid.get());"},{"Add":" assert!(dropped.low.get() && dropped.high.get());"},{"Add":""},{"Add":" drop(err);"},{"Add":" assert!(dropped.all());"},{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"fn test_downcast_low() {"},{"Add":" let (err, dropped) = make_chain();"},{"Add":""},{"Add":" let err = err.downcast::().unwrap();"},{"Add":" assert!(!dropped.low.get());"},{"Add":" assert!(dropped.mid.get() && dropped.high.get());"},{"Add":""},{"Add":" drop(err);"},{"Add":" assert!(dropped.all());"},{"Add":"}"},{"Add":""},{"Add":"#[test]"},{"Add":"fn test_unsuccessful_downcast() {"},{"Add":" let (err, dropped) = make_chain();"},{"Add":""},{"Add":" let err = err.downcast::().unwrap_err();"},{"Add":" assert!(dropped.none());"},{"Add":""},{"Add":" drop(err);"},{"Add":" assert!(dropped.all());"},{"Add":"}"}]}}],"owner":"yaahc","repo":"eyre","token":"xlle9CBSgUp69YzvYPZKVfNeJ+DuIxMd1GO5ykqQXpM=","login":null}

…

Dependencies

Change contents