Skip to content

Conversation

@philberty
Copy link
Member

Addresses #849

@philberty philberty added this to the Macro Expansion milestone Mar 11, 2022
@philberty philberty requested a review from CohenArthur March 11, 2022 11:45
@philberty philberty mentioned this pull request Mar 11, 2022
18 tasks
@philberty
Copy link
Member Author

this requires #1016 i forgot to raise that pr first

@philberty
Copy link
Member Author

bors r+

@bors
Copy link
Contributor

bors bot commented Mar 11, 2022

Build succeeded:

@bors bors bot merged commit e076823 into master Mar 11, 2022
@philberty philberty deleted the phil/slice-hir-lowering branch March 11, 2022 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants