Search results

gccrs: Do proper const folding during typechecking for array capacities

const-generics

constexpr

typechecking

Status: Open (in progress).

Rust-GCC/gccrsnumber 3889

#3889 In Rust-GCC/gccrs;

· philberty opened on Jul 8, 2025

 ·  

Better type system errors

<code>ArrayType</code> does not have a const <code>capacity</code>

typechecking

Status: Open.

Bug

#3882 In Rust-GCC/gccrs;

· Polygonalr opened on Jul 7, 2025

 ·  

Typecheck issues 16.1

Bad trait bounds checking stopping derive PartialOrd

bug

typechecking

Status: Open.

Bug

#3836 In Rust-GCC/gccrs;

· philberty opened on Jun 19, 2025

 ·  

Typecheck issues 16.1

Refactored to use implicit insert and remove insert_type method from context object #3395

cleanup

merge conflicts

typechecking

Status: Open (in progress).

Rust-GCC/gccrsnumber 3489

#3489 In Rust-GCC/gccrs;

· mostafa630 opened on Mar 6, 2025

Typecheck <code>else</code> expression of <code>let-else</code> to ensure it diverges

HIR

typechecking

Status: Open (in progress).

Rust-GCC/gccrsnumber 3469

#3469 In Rust-GCC/gccrs;

· CohenArthur opened on Mar 5, 2025

Repr attributes on ADTs do not have restrictions.

bug

codegen

typechecking

Status: Open.

#3352 In Rust-GCC/gccrs;

· nobel-sh opened on Jan 6, 2025

 ·  

Typecheck issues 16.1

Shared discriminator does not cause compiler error

diagnosticdiagnostic static analysisdiagnostic static analysis

HIR

typechecking

Status: Open.

Feature

#3351 In Rust-GCC/gccrs;

· nobel-sh opened on Jan 6, 2025

Error out against additional non-auto trait bounds

enhancement

typechecking

Status: Open.

#3008 In Rust-GCC/gccrs;

· CohenArthur opened on May 17, 2024

 ·  

Better type system errors

Function pointers are not getting monormophized fully

bug

typechecking

Status: Open.

#2877 In Rust-GCC/gccrs;

· CohenArthur opened on Feb 26, 2024

closure type inference bug

bug

typechecking

Status: Open.

#2827 In Rust-GCC/gccrs;

· philberty opened on Feb 3, 2024

 ·  

HIR Pipeline for libcore 1.49 Complete

Mutally recursive types are not resolved in TyTy

bug

typechecking

Status: Open.

#2757 In Rust-GCC/gccrs;

· jdupak opened on Nov 23, 2023

Support <code>FnOnce</code>, <code>FnMut</code>, <code>Fn</code> traits

enhancement

typechecking

Status: Open.

#1480 In Rust-GCC/gccrs;

· CohenArthur opened on Aug 18, 2022

 ·  

HIR Pipeline for libcore 1.49 Complete