Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

LSP: Improve experience with trait autocompletion #600

Open
lgalabru opened this issue Jun 2, 2022 · 0 comments
Open

LSP: Improve experience with trait autocompletion #600

lgalabru opened this issue Jun 2, 2022 · 0 comments
Labels
good first issue Good for newcomers

Comments

@lgalabru
Copy link
Contributor

lgalabru commented Jun 2, 2022

When (impl-trait ...) is being autocompleted we should:

  • provide autocompletion on the trait identifier
  • provide a backbone for the trait implementation
@lgalabru lgalabru transferred this issue from hirosystems/ordhook Oct 18, 2022
@lgalabru lgalabru moved this from ❄️ Icebox to 🔖 To do in DevTools Jan 19, 2023
@lgalabru lgalabru added this to the Q1-2023 milestone Jan 19, 2023
@lgalabru lgalabru mentioned this issue Jan 25, 2023
Open
@hugocaillard hugocaillard moved this from 🔖 To do to ❄️ Icebox in DevTools Feb 3, 2023
@hugocaillard hugocaillard moved this from ❄️ Icebox to 🔖 To do in DevTools Feb 14, 2023
@hugocaillard hugocaillard moved this from 🔖 To do to 🏗 In progress in DevTools Feb 17, 2023
@hugocaillard hugocaillard moved this from 🏗 In progress to 🔖 To do in DevTools Feb 22, 2023
@lgalabru lgalabru mentioned this issue Mar 8, 2023
Open
@hugocaillard hugocaillard modified the milestones: Q1-2023, Q2-2023 May 3, 2023
@hugocaillard hugocaillard removed their assignment Jul 3, 2023
@hugocaillard hugocaillard changed the title Improve experience with trait autocompletion LSP: Improve experience with trait autocompletion Jul 3, 2023
@hugocaillard hugocaillard added the good first issue Good for newcomers label Jul 5, 2023
@smcclellan smcclellan modified the milestones: Q2-2023, Q3-2023 Jul 11, 2023
@smcclellan smcclellan modified the milestones: Q3-2023, Q4-2023 Sep 14, 2023
@smcclellan smcclellan modified the milestones: Q4-2023, Q1-2024 Jan 16, 2024
@smcclellan smcclellan removed this from the Q1-2024 milestone Jun 28, 2024
@usagi32 usagi32 mentioned this issue Oct 25, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers
Projects
DevTools
Status: 📋 Backlog
Milestone
No milestone
Development

No branches or pull requests
3 participants
@lgalabru @hugocaillard @smcclellan