Improve an error message

This commit is contained in:
Richard Feldman 2020-12-10 23:17:18 -05:00
parent ed222912b3
commit 7b09232911

View file

@ -1408,7 +1408,7 @@ pub fn specialize_all<'a>(
let partial_proc = match procs.partial_procs.get(&name) { let partial_proc = match procs.partial_procs.get(&name) {
Some(v) => v.clone(), Some(v) => v.clone(),
None => { None => {
unreachable!("now this is an error"); panic!("Cannot find a partial proc for {:?}", name);
} }
}; };