Santiago Pastorino 4501ae89f1 Add and use generics.is_empty() and generics.is_own_empty, rather than using generics' attributes

2024-05-19 11:10:56 -03:00

..

constraints.rs

Add and use generics.is_empty() and generics.is_own_empty, rather than using generics' attributes

2024-05-19 11:10:56 -03:00

mod.rs

Add and use generics.is_empty() and generics.is_own_empty, rather than using generics' attributes

2024-05-19 11:10:56 -03:00

solve.rs

Rename Generics::params to Generics::own_params

2024-05-09 20:58:46 -04:00

terms.rs

Don't store lazyness in DefKind

2023-09-26 02:53:59 +00:00

test.rs

Revert "Auto merge of #122140 - oli-obk:track_errors13, r=davidtwco"

2024-03-11 21:28:16 +00:00

xform.rs

…