{"push_id":3599355037,"size":7,"distinct_size":7,"ref":"refs/heads/width-subtyping","head":"6d5282997d9203748a17e91b23025adf266249af","before":"da46f4b875b476349c5eda026918dd4a2ceb03d9","commits":[{"sha":"acbe2e187bb8736d8d6ca6326d8471535c375106","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"TypeParam::add_param() takes Option<AbstractWidthConstraint>\n\nRemove TypeParam::constrained_param()\n\nUnresolved: Can/should function annotations introduce local type parameters and constraints","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/acbe2e187bb8736d8d6ca6326d8471535c375106"},{"sha":"5685b38fa5de4f106e06e996021aaea66e34f90b","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"Handle type constraints in type_cons_gen","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/5685b38fa5de4f106e06e996021aaea66e34f90b"},{"sha":"0de0eaa97876091213ab01bce8b272b262a21234","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"type_cons_gen formatting","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/0de0eaa97876091213ab01bce8b272b262a21234"},{"sha":"2d9a845be9fca9b10b03f1e17fb561fb90f3e9ae","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"Fix mishandled type parameter length check in type application","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/2d9a845be9fca9b10b03f1e17fb561fb90f3e9ae"},{"sha":"7ae93bf4b86ed5b5ee34321b3c082f375a2500b3","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"Update control flow tests","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/7ae93bf4b86ed5b5ee34321b3c082f375a2500b3"},{"sha":"7a25fe5ab8cc5b50d0d5e02b0398ff34ea526958","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"Improve test width_constraint_nested() to better display nesting check","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/7a25fe5ab8cc5b50d0d5e02b0398ff34ea526958"},{"sha":"6d5282997d9203748a17e91b23025adf266249af","author":{"name":"Alexander Vo","email":"3421b77a325de3edcf0d85378161b07d2a933239@gmail.com"},"message":"Add test generic_width_constraint()","distinct":true,"url":"https://api.github.com/repos/InnPatron/smpl/commits/6d5282997d9203748a17e91b23025adf266249af"}]}
{"actor":{"display_login":"InnPatron"}}