{"shas":[["36c4cb37ad3d96897f229f2af48c76c018bb680e","f0e555de4ce7f15ad3b81cd89ed335b30d9d6b0d@alum.wellesley.edu","Improve impossible-case handling in ty::get_element_type","Tim Chevalier"],["7060f4c89c76f9f715b706b81545c7a082d7c50c","f0e555de4ce7f15ad3b81cd89ed335b30d9d6b0d@alum.wellesley.edu","Alias-ify some prettyprinting functions","Tim Chevalier"],["be6febb46d541ebe8cb0f3e0585ffb8bafb39762","f0e555de4ce7f15ad3b81cd89ed335b30d9d6b0d@alum.wellesley.edu","Minor refactoring","Tim Chevalier"],["182c413af199196155d4d82716988b2f5886e892","f0e555de4ce7f15ad3b81cd89ed335b30d9d6b0d@alum.wellesley.edu","Propagate constraints through copy, move, and swap\n\nAssignments and moves with a simple local variable reference on the\nRHS now propagate any typestate constraints the RHS was involved\nin to the LHS. Swaps where both sides are local variables\nexchange the constraints.\n\nThis was a pain in the butt and I'm still not proud of the resulting\ncode. Needs refactoring like whoa.","Tim Chevalier"],["9ec5e906089ddea234417f837ea1ceb955ccee8b","f0e555de4ce7f15ad3b81cd89ed335b30d9d6b0d@alum.wellesley.edu","Tests for constraint propagation","Tim Chevalier"]],"ref":"refs/heads/master","size":5,"head":"9ec5e906089ddea234417f837ea1ceb955ccee8b","push_id":36128746}