42triangles

The first two are just superficial changes that happened because I saw the lints & run `cargo fmt` on my code after working on it either way, the meat of...

`Lazy` allows for the construction of `Void`

3

# Steps to Reproduce Compile the following: https://gist.github.com/42triangles/40052a0e58b0a8396943a1f28cc62352 (the same as the code below) ```idris %default total data Recursive : (Lazy Type -> Type) -> Type where Recursing : t...

Build error while linking

3

The build fails on my Linux system while trying to create bin/lin64/StarRuler2.bin in the linking phase. The log is below. Errors start appearing in line 826. [starruler2-source-log.txt](https://github.com/BlindMindStudios/StarRuler2-Source/files/2225758/starruler2-source-log.txt) Edit: Because there...

[Feature Request] allow the user to reorder the playback queue

1

It does not appear to be possible to reorder the playback queue (or remove songs from it / adding full albums at once, though these already have other issues) Either...

`skip_insertion` results in a compiler error

3

## Setup Compiling the following: ```rs use diesel::Insertable; #[derive(Insertable)] struct Test { x: f32, #[diesel(skip_insertion)] y: f32, } fn main() { println!("Hello, world!"); } ``` with ```toml [package] name =...

`#[non_exhaustive]` `struct`s require the use of `let mut` to specify non-default options

1

Since #647, using non-default values for `struct`s with `#[non_exhaustive]` (like `DirectorySourceOptions` for example) requires the use of `let mut` to store the default value followed by mutating that value, since...