{"push_id":3460296944,"size":300,"distinct_size":3,"ref":"refs/heads/remove-view-bounds","head":"0ff81d72e6558ba35194fbf65d3cf1c1d751d26c","before":"278eabc617b0cef0e9b0c0d3257ea97940723c77","commits":[{"sha":"94524371983b7adb2409c2f152a4cb2eae73a80e","author":{"name":"Liu Fengyun","email":"44ef6ae7dc573970bf8ae3c5a8744e4587bf8ebc@fengy.me"},"message":"Fix #5970: suppress spurious warning in isInstanceOf check","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/94524371983b7adb2409c2f152a4cb2eae73a80e"},{"sha":"e8b7038e5ce3c6b6345f519f76b6e9c797e8b640","author":{"name":"Liu Fengyun","email":"44ef6ae7dc573970bf8ae3c5a8744e4587bf8ebc@fengy.me"},"message":"Fix CI","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/e8b7038e5ce3c6b6345f519f76b6e9c797e8b640"},{"sha":"83e6ad4bc2d8a74d1b661f8b700aa5aa94c3085e","author":{"name":"Aleksander Boruch-Gruszecki","email":"b1d2806e733f7f683bdffa7d479bad048807ad09@epfl.ch"},"message":"Allow forcing traces","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/83e6ad4bc2d8a74d1b661f8b700aa5aa94c3085e"},{"sha":"f6d037a53a85f4d32f21ad1a2ea009a6d73fe781","author":{"name":"Aleksander Boruch-Gruszecki","email":"b1d2806e733f7f683bdffa7d479bad048807ad09@epfl.ch"},"message":"Attempt to fix a potentially missing case in TypeComparer","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/f6d037a53a85f4d32f21ad1a2ea009a6d73fe781"},{"sha":"da4a9ee3ae0d1ca3a40bdd46a8214612ae61dd4d","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Make matchCases tail-recursive","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/da4a9ee3ae0d1ca3a40bdd46a8214612ae61dd4d"},{"sha":"8d6389a4912b2c46fc99af8c3fbb6afbf541b6bf","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Handle cyclic references gracefully when printing","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/8d6389a4912b2c46fc99af8c3fbb6afbf541b6bf"},{"sha":"f23275bd72ff8c98a9f24c4febfcc5fd6686e094","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Use MatchCase instead of FunctionOf for match cases\n\nThat way, we can control that the variance of a case is 0.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/f23275bd72ff8c98a9f24c4febfcc5fd6686e094"},{"sha":"75481efc5069b82fe395cf1fea8f9231d2b170ea","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Move i3430.check to pending\n\nThe precise error message i3430.scala depends on the order in which files\nare found. This is OK. But unfortunately it means there's no easy way to\nwrite a check file. My (local) testCompilation, CI test, and CI bootstrapped\ntests all disagree pairwise which two implicit instances are reported as\nambiguous. We could invest in a more specialized test that just checks\nthat an ambiguity is reported no matter what the participants. But my\npatience has run out, so it would be good if someone else who picks\nthis up could do it.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/75481efc5069b82fe395cf1fea8f9231d2b170ea"},{"sha":"59054b0b863a76012fb1eba0a9009e402aec1a66","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Fix variance for match types in type maps and type accumulators","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/59054b0b863a76012fb1eba0a9009e402aec1a66"},{"sha":"16e21d928a14c1d624fe80218113f728ff47a8e7","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Bring back inline traces in error messages\n\nI believe these were lost when we changed to the new SourcePos scheme. At least nobody\nwas setting the `outer` part of a SourcePosition anymore. We now do this at the latest\npossible stage, when generating MessageContainers in Reporter.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/16e21d928a14c1d624fe80218113f728ff47a8e7"},{"sha":"62ffcd5ed0742114f6541762f8610ed3a02e61f3","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Fix Tuples to work with non-variant match types\n\nThe run-test-picklin.blacklist got a new entry where before and after\npickling differ in whether a match type is reduced or not. It's currently\nnot clear how to write pickling tests that are independent of this detail.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/62ffcd5ed0742114f6541762f8610ed3a02e61f3"},{"sha":"d64efa59f757e59b37828734a845d05ef8d84f6d","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Fix #6026: Use argument position for singleton arguments","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/d64efa59f757e59b37828734a845d05ef8d84f6d"},{"sha":"5eae7f4153fc7c5afc034ee2c4e0214b362b7288","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Fix #6027: Use argument span for inlined type parameters","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/5eae7f4153fc7c5afc034ee2c4e0214b362b7288"},{"sha":"ac68e97a61108ff36862cea7857fc46b0be527e3","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Use parameter span for type match `_`","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/ac68e97a61108ff36862cea7857fc46b0be527e3"},{"sha":"64d613b9c80e0e5884476cf5cf27e6190fa92398","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Fix printing of match types\n\nSince we don't use function types for cases anymore, we have to insert\nthe `=>` explicitly.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/64d613b9c80e0e5884476cf5cf27e6190fa92398"},{"sha":"d86b09db36713938631baa293d52b929c2cbbe1c","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Don't expand match aliases in variance checking\n\nThey might be recursive, so we can't blindly expand them for variance checking.\nInstead use normalize to follow possible reductions.","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/d86b09db36713938631baa293d52b929c2cbbe1c"},{"sha":"d24b6f202d9f104f1974dda28d07117b80b33828","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Issue recursion overflows in variance checking where they happen","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/d24b6f202d9f104f1974dda28d07117b80b33828"},{"sha":"815e4dbedbb01291d5a35081b7a38cd40620d0c8","author":{"name":"Nicolas Stucki","email":"f0059eee4238f8b068fe33a392bdd0b7085f9f3e@gmail.com"},"message":"Use previous span for class type parameters","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/815e4dbedbb01291d5a35081b7a38cd40620d0c8"},{"sha":"11a8fad1a78ee77e92b3d5c0e24a60f9be5ca606","author":{"name":"Martin Odersky","email":"2b8ac5be74fbfcc99318f0bfdb45b13289139e40@gmail.com"},"message":"Fix test","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/11a8fad1a78ee77e92b3d5c0e24a60f9be5ca606"},{"sha":"7cdab929b993c2ef22844bcc73a89269fc944e25","author":{"name":"Anatolii Kmetiuk","email":"372695f33743f0ec08ebc34cd2794b2aa14ed3a9@gmail.com"},"message":"Fix #5980: Distribute type parameters of covariant type constructors\n\nWhen performing subtyping comparisons of the `F[A] & F[B] <:< C` kind,\nif `F` is a type parameter (e.g. as in `trait Foo[F[+_]]`), the compiler\ndecides the relationship to be true if either `F[A] <: C` or `F[B] <: C`.\nHowever, in case of covariant `F[+_]`, it is possible to distribute the\ntype arguments when performing the `&` operation: `F[A] & F[B] ~> F[A & B]`.\nHence there is one more case to be considered when checking `<:<`\nrelationship. This commit adds such a check to the `<:<` logic. Now,\n`F[A] & F[B] <:< C` is true (for covariant `F`) if either of the following\nis true:\n- F[A] <: C\n- F[B] <: C\n- F[A & B] <: C","distinct":false,"url":"https://api.github.com/repos/dotty-staging/dotty/commits/7cdab929b993c2ef22844bcc73a89269fc944e25"}]}
{"actor":{"display_login":"OlivierBlanvillain"}}