Skip to content

Removing A: ForIRI from Build<A>.#170

Closed
filippodebortoli wants to merge 1 commit intophillord:develfrom
filippodebortoli:issue-174
Closed

Removing A: ForIRI from Build<A>.#170
filippodebortoli wants to merge 1 commit intophillord:develfrom
filippodebortoli:issue-174

Conversation

@filippodebortoli
Copy link
Contributor

@filippodebortoli filippodebortoli commented Nov 4, 2025

Resolves #74.

Additionally:

  • fixes some clippy warnings
  • goes from Build::new() to Build::default() where possible

@phillord I can merge this myself unless there are objections.

Additionally:

- fixes some clippy warnings
- goes from Build::new() to Build::default() where possible
@filippodebortoli filippodebortoli linked an issue Nov 4, 2025 that may be closed by this pull request
@filippodebortoli filippodebortoli deleted the issue-174 branch December 1, 2025 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Build should not use ForIRI constraint

1 participant