石蕊 (Pi-Cla)

Add Never type to Prelude (WIP on warning for expressions after a function with return type Never)

1

As discussed in #3044 it would be neat to add a type to the Prelude which could represent functions which never return. The `Never` type can not be constructed because...

RUSTSEC Warnings and Errors on several subprojects

1

I ran`cargo audit` on every submoduled project and a bunch of them have various RUSTSEC vulnerabilities and warnings. All of these except for one at the end of this list...

There are some remaining such as these: ``` error: &-masking with zero --> wezterm-input-types/src/lib.rs:479:1 | 479 | / bitflags! { 480 | | #[cfg_attr(feature="serde", derive(Serialize, Deserialize))] 481 | | #[derive(Default,...

RUSTSEC-2022-0013: regex: Regexes with large repetitions on empty sub-expressions take a very long time to parse

1

When I ran `cargo audit` on this project, it showed that some of its dependencies still used a vulnerable version of regex. ``` Crate: regex Version: 1.4.6 Title: Regexes with...

Add Anime Style Logo Easter Egg to Website

2

I stumbled upon this: https://github.com/haskell-infra/www.haskell.org/pull/292 which is a PR to the haskell.org website which got merged which adds a fun little easter egg where when you enable a certain parameter...

json-readtable-error 47

7

I have installed Lean4 via `elan` and have set `lean-rootdir` to `home/cla/.elan` and then `home/cla/.elan/` and both times when I try to use `lean-toggle-show-goal` with the default Main.lean file generated...

Sync to 4.4.1 [I have hit some roadbumps, help would be appreciated]

7

# Not complete I have hit a roadbump with https://github.com/harfbuzz/harfbuzz/commit/58eeb3a180d03c9b39b39d99a6b9dbf30d17fd9f Also, tests fail after I started copying over the altered ragel machine category numbers in https://github.com/RazrFalcon/rustybuzz/pull/104/commits/e233856b96abc9b4eb9af13a670e71c6f75c16ce I think there is...

clippy: Fix last few warnings

1

--- - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes are a part of #31500 -...

## Basic info **Project name**: cargo-audit **Project link**: https://github.com/rustsec/rustsec/blob/main/cargo-audit/README.md ## Qualifications [ZeroVer](https://zerover.org)'s patent-pending zero-based versioning scheme can obviously be used by everyone, but not every usage is necessarily notable. Check...

## Basic info **Project name**: Tectonic **Project link**: https://tectonic-typesetting.github.io/ ## Qualifications [ZeroVer](https://zerover.org)'s patent-pending zero-based versioning scheme can obviously be used by everyone, but not every usage is necessarily notable. Check...