Closed cuviper closed 2 weeks ago
:warning: Warning :warning:
@bors r+ rollup=never
:pushpin: Commit cfae8b26ea130ac39d419eca37cb546905800344 has been approved by cuviper
It is now in the queue for this repository.
:hourglass: Testing commit cfae8b26ea130ac39d419eca37cb546905800344 with merge 0436bf18fce724968645d0d2af782ad22f0774d7...
:sunny: Test successful - checks-actions Approved by: cuviper Pushing 0436bf18fce724968645d0d2af782ad22f0774d7 to beta...
diagnostic::on_unimplemented
#124683diagnostic::on_unimplemented
#124875non-local-def
lint Allow by default #124950r? cuviper