-
Notifications
You must be signed in to change notification settings - Fork 19
Closed
Description
What do we mean by MVP?
- rustc types are converted to chalk types deeply and eagerly
- region integration is basically ignored, so not sound
- chalk is responsible for generating builtin trait rules, and those may be approximated in some cases
- constants are not handled, they are translated to
()
type for now - closures and the fn traits are "reach items"
- unsizing is out of scope
Work items
- Write code to eagerly, deeply convert rustc types to chalk types
- Extend
TypeName
with builtin types extend chalkTypeName
with builtin types chalk#368 - Extend chalk with support for builtin traits Extend Chalk with support for well-known, builtin traits chalk#363
- Some kind of interim solution
*Outlives
andSubtype
- Land @jackh726's branch :)
Metadata
Metadata
Assignees
Labels
No labels